Search results

Gonshor H. [1969] Recursive density types, II Trans. Amer. Math. Soc., 140, № 6, 505-509 70.04.79 article Вернуться к поиску

Normann D. [1979] A jump-operator in set recursion Z. math. Logik und Grundl. Math., 25, № 3, 251-264 80.02.33 article Вернуться к поиску

Goncharov S.S., Ershov Yu. L. [1998] Elementary theories and their constructive models Handbook of Recursive Mathematics, v.1, 115-165, Elsevier ? article Вернуться к поиску

Хуторецкий А.Б. [1969] О сводимости вычислимых нумераций Алгебра и логика, 8 , № 2, 251-264 70.01.74 EOG статья Вернуться к поиску

Kreisel G., Lacombe D., Shoenfield J.R. [1957] Partial recursive functionals and effective operations Constructivity in Mathematics, North-Holland, 290-297 59.7674 ROS article Вернуться к поиску

Fukuyama M. [1968] Remark on minimal degrees Sci. Repts Tokyo Kyoiku Daigaku, A9, № 220-231, 255-256 68.12.58 O article Вернуться к поиску

Coles R. J., Downey R. G., Khoussainov B. M. [1997] Initial segments of computable linear orderings Order, 14, 107-124 ? article Вернуться к поиску

Dobrinen N., Simpson S. G. [2004] Almost everywhere domination J. Symbolic Logic, 69, № 3, 914-922 ? article Вернуться к поиску

Lempp S., Lerman M. [1997] A finite lattice without critical triple that cannot be embedded into the enumerable Turing degrees Ann. Pure Appl. Logic, 87, № 2, 167-185 ? OS article Вернуться к поиску

Фрейвальд Р.В. [1974] Предельные вычислимые функции и функционалы Уч. зап. Латв. ун-та, 210, 6-19 75.01.129 статья Вернуться к поиску

Owings J.C. [1969] Π 1 1 sets, ω-sets and metacompleteness J. Symbolic Logic, 34, № 2, 194-204 70.02.45 article Вернуться к поиску

Шень А.Х. [1980] Аксиоматический подход к теории алгоритмов и относительная вычислимость Вестн. МГУ, Мат., мех., 1, № 2, 27-29 80.07.38 статья Вернуться к поиску

Bergstra J. A. [1978] Degrees of partial recursive functions Notre Dame J. Formal Logic,, 19, № 1, 152-154 78.09.60 article Вернуться к поиску

Chong C.T. [1989] Hyperhypersimple and Δ 2 -systems Ann. Pure Appl. Logic, 44, № 1, 25-38 ? O article Вернуться к поиску

Sankappanavar H.P. [1978] Decision problems: history and methods Math. Logic, Proc. I Brazil. Conf., 1977, N.Y.-Basel, Marcel Dekker, 241-291 79.05.67 article Вернуться к поиску

Soskov I. N. [2000] A jump inversion theorem for the enumeration jump Arch. Math. Logik Grundl., 39, № 6, 417-437 05.08.90 article Вернуться к поиску

Lempp S., Lerman M., Weber F. [1993] Minimal pair constructions and iterated trees of strategics Logical methods, Birkhäuser, 12, 512-554 ? article Вернуться к поиску

Nies A. [1996] Relativizations of structures arising from recursion theory London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 219-232 ? O article Вернуться к поиску

Морозов А.С. [1987] Об одном классе рекурсивно перечислимых множеств Сибирск. матем. журнал 28, № 2, 124-128 87.07.63 статья Вернуться к поиску

Slaman T.A. [2005] Aspects of the Turing jump Logic Coll’2000, A. K. Peter, Ltd. Wellesley, 365-382 ? article Вернуться к поиску

Odifreddi P.G. , Shore R. A. [1991] Global properties of local structures of degrees Bull. Union mat. ital., 7, № 1, 97-120 92.01.33 O article Вернуться к поиску

Li Xiang [1988] Everywhere nonrecusive r.e. set in recursively presented effective topological space J. Austral. Math. Soc., A44, № 1, 105-128 88.10.46 article Вернуться к поиску

Гончаров С.С., Хусаинов Б. М. [2004] Сложность теорий вычислимых категоричных моделей Алгебра и логика, 43, № 6, 650-665. 05.12.70 статья Вернуться к поиску

... Автосводимые и неавтосводимые предикаты и множества Сб. Исследования по теории алгорифмов и математической логике, т. 1, М., ВЦ АН СССР, 211-234 74.01.96 статья Вернуться к поиску

Kleene S.C. [1981] Origins of recursive functions 20 Ann. Symp. Found. Comp. Sci., (San Juan, 1979), N.Y., 1979, 371-382 81.01.30 OS article Вернуться к поиску

Downey R.G., Montalban A. [2008] Slender classes J. Lond.Math. Soc., 78, № 1, 36-50 10.09.78 article Вернуться к поиску

Иванов Д. И. [2006] О слабо комбинаторно-селекторных множествах Изв. Вузов. Мат., № 11, 22-25 08.02.120 статья Вернуться к поиску

Scott D. [1962] Algebras of sets binumerable in complete extentions of arithmetic Recursive Functions Theory, Proc. Symp. Pure Math., 5, Amer. Math. Soc., Providence, R.I., 117-121 68.04.53 OS article Вернуться к поиску

Dekker J.C.E., Myhill J. [1958] Retraceable sets Canad. J. Math., 10 , № 3, 357-373 59.9691 ROS article Вернуться к поиску

Harrington L. A., Soare R.I. [1996] Dynamic properties of computable enumerable sets London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 105-121 ? O article Вернуться к поиску

Pour-El M. B. [1965] “Recursive isomorphism” and effectively extensible theories Bull. Amer. Math. Soc., 71, № 3, 551-555 66.04.55 S article Вернуться к поиску

Downey R. G., Slaman T.A. [1989] Completely mitotic r.e. degrees Ann. Pure Appl. Logic, 41, № 2, 119-152 ? O article Вернуться к поиску

Moschovakis Y.N. [1964] Recursive metric spaces Fund. Math., 55, № 3, 215-238 65.09.65 O article Вернуться к поиску

Kalantari J., Weitkamp G. [1985] Effective topological spaces, I: A definability theories Ann. Pure Appl. Logic, 24, № 1, 1-27 ? S article Вернуться к поиску

Fejer P.A. [1982] Branching degrees above low degrees Trans. Amer. Math. Soc., 273, № 1, 157-180 83.03.58 OS article Вернуться к поиску

Slaman T.A., Woodin H.W. [1998] Extending partial orders to dense linear orders Ann. Pure Appl. Logic, 94, № 1-3, 253-261 00.09.54 article Вернуться к поиску

Maass W. [1981] Recursively invariant β-recursion theory Ann. Math. Logic, 21, № 1, 21-73 82.05.39 article Вернуться к поиску

Young P.R. [1971] A note on dense and non dense families of complexity classes Math. Syst. Theory, 5, № 1, 66-70 72.В2.729 O article Вернуться к поиску

Maass W. [1978] High α-recursively enumerable degrees General Recursion Theory, II, Proc. Symp. (Oslo, 1977), 239-269 North Holland 79.08.38 O article Вернуться к поиску

Omanadze R.Sh.,Sorbi A. [2008] A characterization of the Δ 2 0 hyperhyperimmune sets J. Symbolic Logic, 73, 4, 1407-1415 ? article Вернуться к поиску

Jain S., Nessel J. [2001] Some independence results for control structures in complete numberings J. Symbolic Logic, 66, № 1, 357-382 05.08.101 article Вернуться к поиску

McLaughlin T.G. [1973] A non-enumerability theorem for infinite classes of finite structures Word Probl. Decis. Probl. and Burside Probl. Group Theory, Amsterdam-london, 479-481 74.06.74 article Вернуться к поиску

Мальцев Ан. А. [1981] О строении m -скачка Сибирск. матем. журнал, 22 , № 4, 129-135 81.12.303 O статья Вернуться к поиску

Барздинь Я.М. [1970] О частотном решении алгоритмически неразрешимых массовых проблем ДАН СССР, 191, № 5, 967-970 70.09.56 E статья Вернуться к поиску

Марченков С.С. [1971] О минимальных нумерациях систем рекурсивно перечислимых множеств ДАН СССР, 198, № 3, 530-532 71.12.71 EO статья Вернуться к поиску

Cleave J.P. [1961] Creative functions Z. math. Logik und Grundl. Math., 7 , № 3, 205-212 63.06.70 REOS article Вернуться к поиску

Badaev S.A. [1992] On minimal enumerations Sibirian Adv. Math., 2, № 1, 1-30 ? article Вернуться к поиску

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

Remmel J. B [1980] Recursion theory on algebraic structures with independent set Ann. Math. Logic, 18, № 2, 153-191 81.02.44 SG article Вернуться к поиску

Goetze B. [1974] Die Struktur des Halbverbandes der effectiven Numerierugen Z. math. Logik und Grundl. Math., 20, № 2, 183-188 75.06.121 E article Вернуться к поиску