Search results

Ash C. J. [1991] A construction for recursive linear orderings J. Symbolic Logic, 56, № 2, 673-683 92.08.58 Q article Вернуться к поиску

Maass W. [1983] Characterization of recursively enumerable sets with supersets effectively isomorphic to all recursively enumerable sets Trans. Amer. Math. Soc., 279, № 1, 311-336 84.04.56 OS article Вернуться к поиску

Robinson J. [1949] Definability and decision problems in arithmetic J. Symbolic Logic, 14, № 2, 98-114 ~ RS article Вернуться к поиску

Hay L. [1969] Index sets of finite classes of recursively enumerable sets J. Symbolic Logic, 34, № 1, 39-44 69.12.123 EO article Вернуться к поиску

Jiang Zhingen [1993] The non-denseness of d.r.e. degrees above any low r.e.degrees Chin. Ann. Math. , A14, № 5, 501-506 94.06.93 article Вернуться к поиску

Хисамиев З.Г. [1986] Вычислимые нумерации и отношение эквивалентности Сибирск. матем. журнал, 27, № 5, 182-187 87.02.42 статья Вернуться к поиску

Shore R. A. [1978] Controlling the dependence degree of a recursively enumerable vector space J. Symbolic Logic, 43, № 1, 13-22 79.02.58 SG article Вернуться к поиску

Ambos-Spies K., Lerman M. [1986] Lattice embedding into the recursively enumerable degrees J. Symbolic Logic, 51, № 2 , 257-272 86.12.66 OS article Вернуться к поиску

Feferman S., Spector C. [1962] Incompleteness along paths in progressions of theory J. Symbolic Logic, 27, № 4, 383-390 (Русский перевод в сб. Математика, 1971, 15, № 6, 159-166.) 64.12.66 RO article Вернуться к поиску

Касымов Н.Х., Хусаинов Б.М. [1992] Позитивные эквивалентности с конечными классами и алгебры над ними Сибирск. матем. журнал, 33, № 5, 923-927 93.03.258 G статья Вернуться к поиску

Langford G. [1927] Some theorems on deducibility Ann. Math., 28, 16-40 ~ article Вернуться к поиску

McLaughlin T.G. [1972] Complete index sets of recursively enumerable families Compositio math., 24, № 1, 83-91 72.08.92 E article Вернуться к поиску

... [1980] Существование базисов по суперпозиции в счетных примитивно рекурсивных амкнутыъ классах одноместных функций Мат. заметки, 27, № 6, 877-883 80.10.37 статья Вернуться к поиску

Remmel J. B [1981] Recursive Boolean algebras with recursive atoms J. Symbolic Logic, 46, № 3, 595-616 82.05.43; G article Вернуться к поиску

Lerman M. [1973] Admissible ordinals and priority arguments Lect. Notes in Math.,.337, 311-344, Springer-Verlag 74.02.55 OS article Вернуться к поиску

Ambos-Spies K., Bentzien L. [2000] Separating NP -completeness notions under strong hypotheses J. Comp. and System Sci., 61 № 3, 335-361 ? O article Вернуться к поиску

.... [1979] Вычислимость частично рекурсивных функций и рекурсивно перечислимые множества в арифметике Пеано Сибирск. матем. журнал, 20, № 6, 1269-1274 80.04.40 статья Вернуться к поиску

Hirschfeldt D. R., Kjos-Hanssen B., Jockusch C.G. Jr., Lempp S., Slaman T.A. [2008] The strength of some combinatorial principles related to Ramsey’s theorem for pairs Proc. IMS Workshop “Computational Prospects of Infinity”, (Singapore, 2005), Lect. Notes Series, 15,...

Lerman M. [1985] Upper bounds for the arithmetical degrees Ann. Pure Appl. Logic, 29, № 3, 225-254 ? S article Вернуться к поиску

Ахтямов Р.В. [1990] Об иерархии множеств {Σ n r , A / 0≤ n , r ∈{ r 1 r 2 }} Каз. ун-т, деп. № 2350-В90 90.09.36 статья Вернуться к поиску

Dekker J.C.E. [1964] The recursive equivalence type of a class of sets Bull. Amer. Math. Soc., 70, № 4, 628-632 65.08.69 article Вернуться к поиску

Shore R.A. [2004] Minimal degrees which are Σ 2 but not Δ 2 Proc. Amer. Math. Soc., 132, № 2, 563-565. 05.ВН06.51 article Вернуться к поиску

Downey R. G., Kurtz S.A. [1986] Recursion theory and ordered groups Ann. Pure Appl. Logic, 32, № 1, 137-151 ? SG article Вернуться к поиску

Марков А.А. [1952] О неразрешимых алгоритмических проблемах Мат. сборник, 31, № 1, 34-42 ~ статья Вернуться к поиску

Lempp S. [1998] Decidability and undecidability in the enumerable Turing degrees Proc. 6 Asian Logic Conf. (Beijing , China, 1998), 151-161 World Scientific, Singapore Univ. Press ? article Вернуться к поиску

Ambos-Spies K. [1985] Generators of the recursively enumerable degrees Lect. Notes in Math., 1141, 1-28, Springer-Verlag 86.04.44 OS article Вернуться к поиску

Greenberg N., Montalban A., Shore R.A. [2004] Generalized high degrees have the complementation property J. Symbolic Logic, 69, № 4, 1200-1220 ? article Вернуться к поиску

Binns S., Kjos-Hansen B., Lerman M., Solomon D.R. [2006] On a question of Dobrinen and Simpson concerning almost everywhere domination J. Symbolic Logic, 71, № 1 , 119-136 ? article Вернуться к поиску

Harrington L. A., Haught C.A. ? Limitations on initial segment embeddings in the r. e. tt -degrees ? ? O article Вернуться к поиску

Поляков Е.А., Розинас М.Г. [1977] Сводимости по перечислимости Сибирск. матем. журнал, 18, № 4, 838-845 78.02.46 статья Вернуться к поиску

Downey R. G. [1997] On the universal splitting properly Math. Logic Quarterly, 43, 311-320 ? article Вернуться к поиску

Thuraisingham M.B. [1983] Some elementary closure properties of n -cylinders Notre Dame J. Formal Logic, 24, № 2 , 242-254 83.12.51 article Вернуться к поиску

Арсланов M.M. [1985] m -сводимость и неподвижные точки Сб. Сложностные проблемы мат. логики, Калинин, 11-18 86.02.46 S статья Вернуться к поиску

Arslanov M.M., Batyrshin I.I., Omanadze R.Sh. [2008] Structural properties of n -c.e Q -degrees Ann. Pure Appl. Logic, 156, № 1,13-20 ? article Вернуться к поиску

Selman A. L. [1972] Arithmetical reducibility, II Z. math. Logik und Grundl. Math., 18, № 1, 83-92 72.12.50 article Вернуться к поиску

Lempp S., Slaman T.A. [1989] A limit on relative genericity in the recursively enumerable sets J. Symbolic Logic, 54, № 2, 376-395 90.06.65 S article Вернуться к поиску

Stoltenberg-Hansen V., Tucker J. V. [1999] Computable rings and fields Handbook of Computability Theory, Elsevier, 363-447 ? article Вернуться к поиску

Мальцев Ан. А. [1984] К строению семейств иммунных, гипериммунных и гипергипериммунных множеств Мат. сборник, 124, № 3, 307-319 84.11.21 OS статья Вернуться к поиску

Lachlan A.H. [1969] Initial segments of one-one degrees Pacif. J. Math., 29, № 2, 351-366 70.01.62 OS article Вернуться к поиску

Shore R.A. [1978] Some more minimal pairs of α-recursively enumerable degrees Z. math. Logik und Grundl. Math., 24, № 5, 409-418 79.06.60 article Вернуться к поиску

Rogers H. Jr. [1965] On universal functions Proc. Amer. Math. Soc., 16 , № 1, 39-44 65.10.59 EO article Вернуться к поиску

Harrington L. A., Paris J.B. [1977] A mathematical incompleteness in PA Handbook of Mathematic Logic, p. D, North-Holland, 1133-1142 (Русский перевод в Справочной книге по математической логике , ч. IV ,(Оревков В.П.-ред.), М., Наука, 1982, 319-327.) ? article Вернуться к поиску

Kechris A.S. [1978] Minimal upper bounds for sequences of Δ 2 n 1 -degrees J. Symbolic Logic, 43, № 3, 502-507 79.06.32 article Вернуться к поиску

Hyland J.M.E. [1979] Filter spaces and continuous functionals Ann. Math. Logic, 16, № 2, 101-143 80.01.54 O article Вернуться к поиску

Davis M. [1953] Arithmetical problems and recursively enumerable predicates J. Symbolic Logic, 18, № 1, 33-41 (Русский перевод в сб. Математика , 1964, 8, № 5, 15-22.) 54. 1532 article Вернуться к поиску

Jockusch C.G. Jr. [1977] Simple proofs of some theorems on high degrees Canad. J. Math., 29, № 5, 1072-1080 78.04.54 OS article Вернуться к поиску

Ершов Ю.Л. [1985] Σ-определимость в допустимых множествах ДАН СССР, 285, № 4, 792-795 86.05.119 статья Вернуться к поиску

Enderton G. [1977] Elements of recursive theory Handbook of Mathematic Logic, p. C, North-Holland, 527-566 (Русский перевод в Справочной книге по математической логике , ч. III , (Ершов Ю.Л.- ред.), М., Наука, 1982, 9-50.) ? article Вернуться к поиску

Ambos-Spies K., Merkle W., Reimann J., Terwijn S.A. [2003] Almost complete sets Theor. Comput. Sci., 306, № 1-3, 177-194 05.ВН5.143 ? article Вернуться к поиску

Дегтев А.Н. [2001] О p -сводимости вычислимых нумераций Мат. заметки, 69, № 1, 31-35 01.12.108 статья Вернуться к поиску