Search results

Stob M. [1982] Index sets and degrees of unsolvability J. Symbolic Logic, 47, № 2, 241-248 83.01.23 OS article Вернуться к поиску

Ding Decheng [1992] The distribution of the generic recursively enumerable degrees Arch. Math. Log., 32, № 2, 113-135 94.01.42 article Вернуться к поиску

Hartmanis J., Hopcroft J. [1971] An overview of the theory of computational complexity J. Ass. Comput. Mach., 18, № 3, 444-475 (Русский превод в Кибернет. сборнике, 1974, 11, 134-176.) ? article Вернуться к поиску

Schinzel B. [1980] Zerlegung mit Vergleichsbedingungen einer Gödel numberierung Z. math. Logik und Grundl. Math., 26, № 3, 215-226 81.02.49 article Вернуться к поиску

McLaughlin T.G. [1973] On retraceable sets with rapid growth Proc. Amer. Math. Soc., 40, № 2, 573-576 74.06.121 O article Вернуться к поиску

Cooper S.B. [1990] The jump is definable in the structure of the degrees of unsolvability, Bull. Amer. Math. Soc., 23, № 1, 151-158 91.09.46 O article Вернуться к поиску

Ng Keng Meng [2008] On very high degrees J. Symbolic Logic, 73, № 1, 309-342 ? article Вернуться к поиску

Lerman M., Sacks G.E. [1972] Some minimal pairs of α-recursively enumerable degrees Ann. Math. Logic, 4, № 4, 415-442 73.04.87 article Вернуться к поиску

Sorbi A. [1997] The enumeration degrees of the Σ 2 0 sets Complexity, Logic and Recursion Theory, Lecture Notes Pure and Applied Mathematics, 303-330 ?; O article Вернуться к поиску

Kalantari I. [1982] Major subsets in effective topology Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 77-94 ? S article Вернуться к поиску

Chong C.T. [1976] An α-finite injury method of the unbounded type J. Symbolic Logic, 41, № 1, 1-17 76.12.82 article Вернуться к поиску

Lerman M., Soare R.I. [1980] d -simple sets, small sets, and degree classes Pacif. J.Math., 87, № 1, 135-155 81.03.51 OS article Вернуться к поиску

Downey R. G. [1984] Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory Z. math. Logik und Grundl. Math., 30, № 4, 295-302 85.03.38 article Вернуться к поиску

Badaev S.A. [2006] On Rogers semilattices Lect. Notes in Comp. Sci., 3959, 704-706, Springer -Verlag ? article Вернуться к поиску

Haught C. A. [1987] Lattice embeddings in the recursively enumerable truth table degrees Trans. Amer. Math. Soc., 301, № 2, 515-535 88.01.38 OS article Вернуться к поиску

Maass W., Slaman T.A. [1992] Splitting and density for the recursive sets of a fixed time complexity Proc. Conf. “Logic from computer science”, (Berceley, 1989), Math. Sci. Res. st. Publ., 21, 359-372, Springer. 93.ВН7.112 article Вернуться ...

Friedman H.M. [1971] Axiomatic recursive function theory Logic Coll’ 69, North Holland, 113-137 71.11.87 O article Вернуться к поиску

Lachlan A.H. [1964] Standard classes of recursively enumerable sets Z. math. Logik und Grundl. Math., 10, № 1, 23-42 65.02.125 EO article Вернуться к поиску

Hay L., Johnson N. [1979] Extensional characterization of index sets Z. math. Logik und Grundl. Math., 25 , № 3, 227-234 80.02.44 article Вернуться к поиску

Ditchev A.V. [2004] Some results on the upper-semilattice of r.e. m -degrees inside a single r.e. tt -degrees Ann.Univ. Sofia Fac. Math., Inform., 2004, 96, 23-34 06.05.72 article Вернуться к поиску

Kent C.F. [1969] Reducing ordinal recursion Proc. Amer. Math. Soc., 22, № 3, 690-696 70.05.69 O article Вернуться к поиску

Cooper S.B. [1982] Partial degrees and the density problem, I J. Symbolic Logic, 47, № 4 , 854-859 83.08.54 OS article Вернуться к поиску

Фрейвальд Р.В. [1978] Эффективные операции и предельно вычислимые функционалы Z. Math. Logik und Grundl. Math., 24, № 3, 193-206 79.04.91 O статья Вернуться к поиску

Sorbi A. [1982] Numerazioni positive r.e. classi e formule Boll. Unione mat. ital., D1, № 1, 403-411 85.05.61 article Вернуться к поиску

Downey R. G., Stob M. [1992] Automorphisms of the lattice of recursively enumerable sets: Orbits Adv. in Math., 92, № 2, 237-265 94.02.274 OS article Вернуться к поиску

Lynch N.,Meyer A.R.,Fischer M.J. [1976] Relativization of the theory of computational complexity Trans. Amer. Math. Soc., 220, 243-287 77.04.52 article Вернуться к поиску

Maass W. [1982] Recursively enumerable generic sets J. Symbolic Logic, 47, № 4, 809-823 83.07.55 OS article Вернуться к поиску

Kreisel G., Shoenfield J.R., Wang Hao [1960] Number theoretic concepts and recursive well-orderings Arch. Math. Logik Grundl., 5. № 1-2, 42-64 61.05.82 O article Вернуться к поиску

Клини С. К. [1957] Введение в метаматематику М., ИЛ (Перевод книги Kleene S. C., “Introduction to metamathematics”, 1952.) 57.7591 RE книга Вернуться к поиску

Cholak P., Greenberg N., Miller J.S. [2006] Uniform almost everywhere domination J. Symbolic Logic, 71, № 3, 1057-1072 ? article Вернуться к поиску

Sasso L.P. [1975] A survey of partial degrees J. Symbolic Logic, 40, № 2, 130-140 76.01.88 OS article Вернуться к поиску

Moschovakis Y.N. [1965] Notation systems and recursive ordered fields Compositio Math., 17, № 1, 40-71 66.10.45 O article Вернуться к поиску

Kurtz S.A., Mahaney S.R.,Royer J. [1988]] Collopsing degrees Comput.System Sci., 37, № 2 89.ВН4.79 article Вернуться к поиску

Slaman T.A., Woodin H.W. [1989] Σ 1 - collection and the finite injury priority method Lect. Notes in Math., 1388, 178-188, Springer-Verlag 90.12.61 O article Вернуться к поиску

Moschovakis Y.N. [1969] Abstract computability and invariant definability J. Symbolic Logic, 34, № 4, 605-633 70.11.50 O article Вернуться к поиску

Ambos-Spies K. [1985] Sublattices of the polynomial time degrees Inform. and Control, 65, № 1, 63-84 86.Г12.30 article Вернуться к поиску

Mahaney S.R. [1989] The isomorphism conjecture and sparse sets Proc. Symp. Apll. Math., 38, 18-46 ? O article Вернуться к поиску

Calude C., Nies A. [1997] Chaitin Omega numbers and strong reducibilities J. Universal Comp. Sci., 3, 1162-1166. ? article Вернуться к поиску

Ishmukhametov Sh.Т., Wu G. [2002] Isolation and high/low hierarchy Arch. Math. Logik Grundl., 41, № 3, 259—266 05.09.83 article Вернуться к поиску

Lerman M., Schmerl J.H. [1979] Theories with recursive models J. Symbolic Logic, 44, № 1, 59-76 ? SG article Вернуться к поиску

Selivanov V.L. [2002] Relating automata-thеorеtiс hiеrarсhiеs to сomplехity-theorеtiс hiеrarсhiеs Thеоr. infоrmatiсs and Appl., 36, 29-42 ? article Вернуться к поиску

Ambos-Spies K., Yang Dong Ping [1990] Honest polynomial time degrees of elementary recursive sets Lect. Notes in Comp. Sci, 440, 1-15, Springer-Verlag 92.Г7.101 O article Вернуться к поиску

Kleene S.C. [1978] Recursive functionals and quantifiers of finite type revisited, I General Recursion Theory, II, Proc. Symp. (Oslo, 1977), North Holland, 185-222 79.06.73 O article Вернуться к поиску

McLaughlin T.G. [1974] Closed basic retracing functions and hyperimmune sets Z. math. Logik und Grundl. Math., 20, № 1, 49-52 75.03.92 article Вернуться к поиску

Kumabe M. [1994] Minimal upper bounds for arithmetical degrees J. Symbolic Logic, 59, № 2, 516-528 95.07.47 article Вернуться к поиску

Friedman Sy D. [1997] Coding without fine structure J. Symbolic Logic, 62, № 3, 808-815 99.01.39 article Вернуться к поиску

Payne T.H. [1971] Effectively minimizing effective fixed points Proc. Amer. Math. Soc., 30, № 3, 561-562 73.11.73 article Вернуться к поиску

Odifreddi P.G. [2000] Strong reducibilities, again Contemporary Math., 257, 215-220 01.ВН12.63 article Вернуться к поиску

Hammond T. [1993] Nonisomophism of latties recursively enumerable sets J. Symbolic Logic, 58, № 4, 1177-1188 94.09.55 article Вернуться к поиску

Mendelson E. [1964] Introduction to Mathematical Logic D. Van Nostrand company Inc., N.Y. (Имеется русский перевод.) ? book Вернуться к поиску