Search results

Moschovakis Y.N. [1971] Axioms for computation theories - first draff Logic Coll’69, North-Holland, 199-255 71.11.86 O article Вернуться к поиску

Yang Dong Ping [1987] The existence of minimal honest polynomial degrees below Chin. Quart. J. Math., 2, 21-26 ? O article Вернуться к поиску

Schinzel B. [1979] Classes of decompositions of a Gödel numbering Math.Res., 2, 397-403 80.05.59 article Вернуться к поиску

Downey R. G., LaForte G., Lempp S. [1999] A Δ 2 0 set with barely Σ 2 0 degree J. Symbolic Logic, 64, № 4, 1700-1718 05.08.86 article Вернуться к поиску

Normann D. [1979] Degrees of functionals Ann. Math. Logic, 16, № 3, 269-304 80.05.52 article Вернуться к поиску

Sacks G.E., Slaman T.A. [1990] Generalized hyperarithmetical theory Proc. London Math, Soc., 60, № 3, 417-443 91.06.40 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 Вернуться к поиску

Mahaney S.R. [1986] Sparse sets and reducibilities Studies in Complexity Theory, J.Wiley and Sons, 63-118 ? O article Вернуться к поиску

Liu S.C. [1963] A note on many-one reducibility J. Symbolic Logic, 28, № 1, 35-42 66.03.57 article Вернуться к поиску

Fejer L., Shore R.A. [1988] Infima of recursively enumerable truth table degrees Notre Dame J. Formal Logic, 29, № 3, 420-437 ? OS article Вернуться к поиску

McLaughlin T.G. [1962] A note on contraproductive domains Math. Scand., 11 , № 2, 175-178 64.04.83 O article Вернуться к поиску

Omanadze R. Sh. [2003] Quasi-degrees of recursively enumerable sets Computability and models: perspectives East and West, Kluwer Academic/Plenum Publishers, 289-319 ? article Вернуться к поиску

Hartmanis J., Stearns R.E. [1965] On the computational complexity of algorithms Trans. Amer. Math. Soc., 117, № 5, 285-306 (Русский перевод в Кибер. сборнике., 1967, 4.) 66.02.67 O article Вернуться к поиску

Jones J.P. [1980] Undecidable Diophantine equations Bull. Amer. Math. Soc., 3, № 2, 854-862 81.04.107 article Вернуться к поиску

Арсланов M.M. [1985] Семейства рекурсивно перечислимых множеств и их степени неразрешимости Изв. Вузов. Мат., 275, № 4, 13-19 85.10.60 S статья Вернуться к поиску

Davis M., Putnam H., Robinson J. [1961] The decision problem for exponential Diophantine equations Ann. Math., 74, № 3, 425-436 (Русский перевод в сб. Математика, 1964, 8, № 5, 69-79.) 62.06.58 RS article Вернуться ...

Ouspenski V.A. [2008] Lecons sur les fonctions calculables Paris, Hermann (Перевод книги В.А.Успенский "Лекции о вычислимых функциях", М., Физматгиз, 1960) ? book Вернуться к поиску

Arslanov M.M. [2003] Truth-table complete computability enumerable sets Computability and models: perspectives East and West, Kluwer Academic/Plenum Publishers, 1-10 ? article Вернуться к поиску

Chong C.T., Mourad K. J. [1990] The degree of a Σ n cut Ann. Pure Appl. Logic, 48, № 3, 227-235 91.04.103 O article Вернуться к поиску

Knight J. F., Stob M. [2000] Computable Boolean algebras J. Symbolic Logic, 65, № 4, 1605-1623 01.09.307 article Вернуться к поиску

Kent C.F., Hodgson B.R. [1982] An arithmetical characterization of NP Theor. Comp. Syst. Sci., 21, 255-267 82.B12.984 O article Вернуться к поиску

Jockusch C.G. Jr. [1968] Uniformly introreducible sets J. Symbolic Logic, 33, № 4, 521-536 69.07.72 OS article Вернуться к поиску

Calhoun W., Slaman T.A. [1996] The Π 2 0 enumeration degrees are not dense J. Symbolic Logic, 61, № 4, 1364-1379 02.06.61 O article Вернуться к поиску

Sanches L. [1978] Hyperenumeration reducibility Notre Dame J. Formal Logic, 19, № 3, 405-415 79.02.56 article Вернуться к поиску

Miller J. S. [2004] Degrees of unsolvability of continuous functions J. Symbolic Logic, 69, № 2, 555–584 07.01.79 article Вернуться к поиску

Skolem T. [1954] Remarks on “elementary” arithmetic functions Kon. Nors. Vid., Sel., Forh., 27, № 6, 1-6 56.963 O article Вернуться к поиску

Groszek M.J., Shore R.A. [1988] Initial segments of the degrees of constructability Israel J. Math., 63, 149-177 ? article Вернуться к поиску

Maass W., Slaman T.A. [1989] Extensional properties of sets of time bounded complexity Lect. Notes in Comp. Sci., 380, 318-326, Springer -Verlag ? article Вернуться к поиску

Cooper S.B., Slaman T.A., Wainer S.S. [1996] Appendix: questions in recursive theory London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 333-347 ? article Вернуться к поиску

Jockusch C.G. Jr., Li A., Yang Yue [2004] A join theorem for the computably enumerable degrees Trans. Amer. Math. Soc., 356, № 7, 2557-2568 07.06.67 article Вернуться к поиску

Gerla G. [1979] Una generalizazione della gerarchia di Erschov Boll. Unione mat. ital., B16, № 2, 765-778 80.03.26 article Вернуться к поиску

Sacks G.E. [1976] Countable admissible ordinals and hyperdegrees Adv. in Math., 20, № 2, 213-262 77.01.35 S article Вернуться к поиску

Yang Dong Ping [1984] On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0 / J. Symbolic Logic, 49, № 2, 488-502 85.01.49 article Вернуться к поиску

Selivanov V.L. [2009] Hierarchies and reducibilities on regular languages related to modulo counting Thеоr. infоrmatiсs and Appl., 41, № 1, 95-132 article Вернуться к поиску

Kleene S.C. [1962] Turing-machine computable functionals of finite types, I Proc. I Iinter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 38-45 (Русский перевод в сб. “Математическая логика и ...

Silibovski S., Remmel J.B. [1987] The undecidability of the lattice of r.e. closed subsets of r.e. effective topological space Ann. Pure Appl. Logic, 35, № 2 , 193-203. 87.12.34 article Вернуться к поиску

Friedberg R.M. [1958] Four quatifier completeness a Banach-Mazur functional not uniformly partial recursive Bull. Acad. Polon. sci., Ser. math., astron. et phys., 6, № 1 , 1-5 59.7671 ROS article Вернуться к поиску

Maass W. [1978] Fine structure theory of the constructible universe in α- and β-recursion theory Lect. Notes in Math., 669, 339-359, Springer-Verlag 79.07.66 article Вернуться к поиску

Downey R. G., Haught C. A. [1994] Embedding lattice into the wtt -degrees below 0 / J. Symbolic Logic, 59, № 4, 1360-1382 95.08.76 article Вернуться к поиску

Lachlan A.H. [1973] The priority method for the construction of recursively enumerable sets Lect. Notes in Math., 337, 299-310, Springer-Verlag 74.01.94 OS article Вернуться к поиску

Catlin S. [1976] Ed -regressive sets of order n J. Symbolic Logic, 41, № 1, 146-157 77.01.49 article Вернуться к поиску

Richter W. [1965] Extensions of the constructive ordinals J. Symbolic Logic, 30, № 2, 193-211 68.11.79 R article Вернуться к поиску

Homer S. [1987] Minimal degrees for polynomial reducibilities J. Ass. Comput. Mach., 34, № 2, 480-491 88.Г9.302 O article Вернуться к поиску

Downey R. G. [1983] Nowhere simplicity in matroids J. Austral. Math. Soc., A35,№ 1, 28-45 83.B11.544 article Вернуться к поиску

Eршов Ю.Л. (и др. ред.) [1982], [1982], [1983], [1983] Справочная книга по математической логике, части I-IV М., Наука (Перевод книги Barwise J. (ed.), “Handbook of Mathematical Logic, parts A-D”, 1977.) 82.12.14; 83.03.28; 83.06.30; 83.08.29 SG книга Вернуться к поиску

Lewis A. [2004] Minimal complements for degrees below 0 / J. Symbolic Logic, 69, № 4, 937-966 ? article Вернуться к поиску

Jahn M.A. [1996] Σ 5 -completeness of index sets arising from the recursively enumerable Turing degrees Ann. Pure Appl. Logic, 79, № 2, 109-137 00.09.55 article Вернуться к поиску

Chong C.T. [1989] Maximal sets and fragments of Peano Arithmetic Nagoya J. Math., 115, 165-183 90.06.79 O article Вернуться к поиску

Chong C.T., Downey R. G. [1990] Minimal degrees recursive in 1-generic degrees Ann. Pure Appl. Logic, 48, № 3, 215-225 91.04.69 OS article Вернуться к поиску

Grzegorczyk A. [1974] Axiomatic theory of enumeration General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 429-436 North Holland 75.06.112 E article Вернуться к поиску