Search results

Nerode A., Shore R. A. [1997] Logic for Applications Springer-Verlag ? article Вернуться к поиску

Nerode A. [1959] Some Stone space and recursion theory Duke Math. J., 26, № 3, 397-406 61.12.340 article Вернуться к поиску

Metakides G., Nerode A. [1977] Recursively enumerable vector spaces Ann. Math. Logic, 11, № 2, 147-171 78.05.47 S article Вернуться к поиску

Crossley J. N., Nerode A. [1976] Effective dimension J. Algebra, 41, № 2, 398-412 77.05.57 G article Вернуться к поиску

Crossley J.N., Nerode A. [1974] Combinatorial functors Springer-Verlag 74.09.70 O book Вернуться к поиску

Nerode A. [1957] General topology and partial recursive functionals Talks Cornell Summer st. Symb. Logic, Cornell Univ., 247-251 ? O article Вернуться к поиску

Nerode A., Remmel J.B. [1989] Complexity theoretic algebra, II: Boolean algebras Ann. Pure Appl. Logic, 44, № 1-2, 71-99 ? G article Вернуться к поиску

Khoussainov B. M., Nerode A. [1995] Effective properties of finitely generated r.e. algebras Progr. Comput. Sci. Appl. Logic, 13, 256-283 ? G article Вернуться к поиску

Metakides G., Nerode A. [1979] Effective content of field theory Ann. Math. Logic, 17, № 3, 289-320. 08.09.102 OS article Вернуться к поиску

Metakides G., Nerode A. [1980] Recursion theory on fields and abstract dependence J. Algebra, 65, № 1, 36-59 81.01.40 SG article Вернуться к поиску

Manaster A.B. , Nerode A. [1970] A universal embedding property of the RET ’s J. Symbolic Logic, 35, № 1, 51-59 71.02.53 S article Вернуться к поиску

Nerode A., Remmel J.B. [1985] Generic objects in recursion theory Lect. Notes in Math., 1141, 271-314, Springer-Verlag 86.04.48 S article Вернуться к поиску

Nerode A., Shore R.A. [1980] Reducibility orderings: theories, definability and automorphisms Ann. Math. Logic., 18, № 1, 61-89 80.12.40 OS article Вернуться к поиску

Nerode A., Remmel J.B. [1983] Recursive theory on matroids, II Proc. South. Asian Conf. on Logic, (Singapore, 1981), North-Holland, 133-184 ? G article Вернуться к поиску

Ash C.J., Nerode A. [1981] Functorial properties of algebraic closure and skolemization J. Austral. Math. Soc., A31, № 2, 136-141 82.04.112 G article Вернуться к поиску

Metakides G., Nerode A. [1975] Recursion theory and algebra Lect. Notes in Math., 450, 209-219, Springer-Verlag 75.10.80 SG article Вернуться к поиску

Metakides G., Nerode A., Shore R.A. [1985] Recursive limits on the Hahn-Banach theorem Contemporary Math., 39, 85-91 86.Б3.1134 S article Вернуться к поиску

Ash C.J., Nerode A. [1981] Intrincically recursive relations Aspects of Effective Algebra, 26-41, Upside Down a Book Co., Yarra Glen, Vic. ? SG article Вернуться к поиску

Crossley J. N. Nerode A. [1981] Recursive equivalence on matroids Aspects of Effective Algebra, 69-86, Upside Down a Book Co., Yarra Glen, Vic. ? article Вернуться к поиску

Nerode A., Remmel J.B. [1990] Complexity theoretic algebra: vector space bases, I: vector spaces over finite fields Progr. Comput. Sci. Appl. Logic, 9, 293-319 ? G article Вернуться к поиску

Nerode A., Remmel J.B. [1982] Recursive theory on matroids Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 41-65 84.04.54 SG article Вернуться к поиску

Nerode A., Remmel J.B. [1986] Generic objects in recursion theory, II: Operations on recursive approximation spaces Ann. Pure Appl. Logic, 31, № 2-3, 257-288 ? S article Вернуться к поиску

Nerode A., Shore R. A. [1980] Second-order logic and first-order theories of reducibility orderings Proc. “The Kleene Symposium”, (Madison, Wisconsin, USA, 1979), North-Holland, 181-200 ? OS article Вернуться к поиску

Nerode A., Shore R.A. (eds) [1985] Recursive Theory Proc. Summer Institute on Recursive Theory (Ithaca, New York), Amer. Math. Soc., Ass. Symbolic Logic ? book Вернуться к поиску

Metakides G., Nerode A. [1982] The introduction of non recursive methods in mathematics Proc. Conf. “The I. E .J. Brouwer Centenary Symp.”, (Noorwijkerhout, 1981), North-Holland, 319-335 ? OS article Вернуться к поиску

Nerode A., Smith R.L. [1980] The undecidability of the lattice of recursively enumerable subspaces Proc. III Brazilian Conf. Math. Logic, (Recife, 1979), 245-252, Soc. Brasil Logica, San Paulo ? G article Вернуться к поиску

Nerode A., Remmel J.B. [1987] Complexity theoretic algebra: vector space bases, I: vector spaces over finite fields Rend. Sem. Mat. Univ. Politec., Torino, 1987, fasc.spec., 1-10 89.08.64 G article Вернуться к поиску

Nerode A., Remmel J.B. [1985] A survey of lattices of r. e. substructures Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 323-377 86.02.51 O article Вернуться к поиску

N Nadel M.E. Neis H.C. Nelson G.C. Nerode A. Nessel J. Ng Keng Meng Nies A. Nikolova S.K. Normann D. Вернуться на главную страницу

Aczel P. [1975] Recursivey density types and Nerode extensions of arithmetic J. Austral. Math. Soc., A20, № 2, 146-158 76.02.84 article Вернуться к поиску