Search results

Nies A. [1994] Recursively enumerable equivalence relations modulo finite difference Math. Logik Quarterly, 40, 490-518 ? article Вернуться к поиску

Millar T.S. [1999] Pure recursive model theory Handbook of Computability Theory, Elsevier, 507-532 ? article Вернуться к поиску

Monk J.D. (et.al.eds) [1989] Handbook of Boolean algebras North-Holland ?; O book Вернуться к поиску

Jockusch C.G. Jr., Li A. [2006] Restricted jump interpolation in the dce degrees Math. Struc. Comp. Sci., 16, № 5, 841-865 10.ВН2.82 article Вернуться к поиску

Gold E.M. [1965] Limiting recursion J. Symbolic Logic, 30, № 1, 28-48 68.07.78 O article Вернуться к поиску

Мальцев А.И. [1960] О свободных разрешимых группах ДАН СССР, 130, № 3, 495-498 61.03.191 статья Вернуться к поиску

Бадаев С.А., Подзоров С.Ю. [2002] Минимальные покрытия в полурешетке Роджерса Σ n 0 -вычислимых нумераций Сибирск. матем. журнал, 43, № 4, 769-778 03.04.54 статья Вернуться к поиску

Thomason S.K. [1970] A theorem on initial segments of degrees J. Symbolic Logic, 35, № 1, 41-45 71.04.48 O article Вернуться к поиску

Kummer M., Stephan F. [1996] On the structure of degrees of inferability J. Comp. and System Sci., 52, № 2, 214-238 ? O article Вернуться к поиску

Ambos-Spies K., Kučera A. [2000] Randomness in computability theory Contemporary Math., 257, 1-14 01.ВН12.58 article Вернуться к поиску

Hay L. [1972] A discreate chain of degrees of index sets J. Symbolic Logic, 37, № 1 , 139-149 73.01.71 EO article Вернуться к поиску

Ершов Ю.Л. [1995] Определимость в наследственно конечных надстройках Докл. РАН, 340, № 1, 12-14 ? статья Вернуться к поиску

Душский В.А. [1970] О сложности строения классов рекурсивных множеств, Труды Моск. ин-та электр. машиностр., 5, 20-33 70.08.56 E статья Вернуться к поиску

Гончаров С.С. [1993] Позитивные вычислимые нумерации Докл. РАН, 332, № 2, 142-143 94.05.73 статья Вернуться к поиску

Dougherty R., Kechris A.S. [2000] How many Turing degrees are there? Contemporary Math., 257, 83-94 ? article Вернуться к поиску

Новиков П.С. [1952] Об алгоритмической неразрешимости проблемы тождества ДАН СССР, 85, № 4, 709-712 ~ статья Вернуться к поиску

Каргаполов М.И. [1962] Об элементарной теории абелевых групп Алгебра и логика, 1, № 6, 26-36 63.11.165 статья Вернуться к поиску

Normann D. [1983] Recursively enumerable degrees of continuous functionals Arch. Math. Logik Grundl., 23, № 1-2, 79-98 84.02.48 article Вернуться к поиску

Routledge N.A. [1953] Ordinal recursion Proc. Cambridge Phil. Soc., 49, № 2, 175-182 53.14 O article Вернуться к поиску

Ladner R.E. [1973] A completely mitotic nonrecusively enumerable degree Trans. Amer. Math. Soc., 184, № 10, 479-507 74.08.70 OS article Вернуться к поиску

Kleene S.C. [1991] Recursive functionals and quantifiers of finite types revisted, V Trans. Amer. Math. Soc., 325, № 2, 593-630 92.04.31 article Вернуться к поиску

Jockusch C.G. Jr. [1973] A reducibility arising from Boone groups Math. Scand. 31, № 2, 262-266 74.02.61 O article Вернуться к поиску

Moh Shaw-kwei [1956] On the explicit form of general recursive functions Acta Math. Sinica, 548-564 ? O article Вернуться к поиску

Михеев В.Л. [1973] Об одном классе алгебр примитивно рекурсивных функций Мат. заметки, 14, № 1, 143-156 73.11.74 статья Вернуться к поиску

Успенский В.А. [1953] Теорема Геделя и теория алгоритмов ДАН СССР, 91, № 4, 737-740 54.2487 O статья Вернуться к поиску

Gurevich Ju. [1976] The decision problem for standard classes J. Symbolic Logic, 41, № 2, 460-464 77.03.95 article Вернуться к поиску

Ершов Ю.Л. [1981] Неразрешимость регулярно замкнутых полей Алгебра и логика, 20, № 4, 389-394 82.05.298 статья Вернуться к поиску

Kleene S.C. [1985] Unimonotone functions of finite types (recursive functionals and quantifiers of finite type revisited IV) Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 119-138 86.03.41 O article Вернуться к поиску

Greenberg N. [2005] The role of true finiteness in the admissible recursively enumerable degrees Bull. Symbolic Logic, 11, № 3, 398-410 ? article Вернуться к поиску

Jockusch C.G. ,Jr. [1972] Ramsey’s theorem and recursion theory J. Symbolic Logic, 37, № 2, 268-280 73.03.74 S article Вернуться к поиску

Арсланов M.M. [1993] Полнота арифметических множеств под теоретико-множественными операциями Изв. Вузов. Мат., № 9, 3-7 94.11.27 статья Вернуться к поиску

Kučera A. [1989] On the use of diagonally nonrecursive functions Logic Coll.'87, North Holland, 219-239 90.06.66 O article Вернуться к поиску

Канович М.И. [1975] Конструкция Деккера и эффективная перечислимость ДАН СССР, 222, № 5, 1028-1030 75.11.89 O статья Вернуться к поиску

Венцов Ю.Г. [1994] Конструктивные модели бесконечной алгоритмической размерности ДАН СССР 335, № 2, 135-137 94.11.51 G статья Вернуться к поиску

Downey R. G., Jockusch C.G. Jr. [1999] Effective presentability of Boolean algebras of Cantor-Bendixson rank 1 J. Symbolic Logic, 64, № 1, 45-52 00.12.229 article Вернуться к поиску

Chisholm J., Chubb J., Harizanov V.S., Hirschfeldt D. R., Jockusch C. G. Jr. McNiholl T., Pingrey S. [2007] Π 1 0 classes and strong degree spectra of relation J. Symbolic Logic, 72, № 3, 1003-1018 ? article Вернуться к поиску

Шмидт Ю.Д. [1985] О классе r -максимальных множеств Сб. Некоторые проблемы и задачи анализа и алгебры, Новосибирск, 135-141 86.04.50 статья Вернуться к поиску

Calude C. [1988] Theories of Computational Complexity North-Holland ? O book Вернуться к поиску

Cenzer D., Hinman P. G. [2003] Density of the Medvedev lattice of Π 1 0 classes Arch. Math. Logik Grundl., 42, № 6, 583-600 05.08.80 article Вернуться к поиску

Titgemeyer D. [1965] Untersuchungen über die Struktur des Kleene-Postchen Halbverbandes ser Grade der Rekursiven Unlöslarkeit Arch. Math. Logik Grundl., 8, № 1-2, 45-62 67.06.56 article Вернуться к поиску

Акопджанян Д.Г. [1980] Некоторые вопросы отделимости корректных множеств в теории рекурсивных функций Тр. Ерев. политех. ин-та., Автом. и выч. техника, № 5, 16-22 81.03.53 статья Вернуться к поиску

Sorbi A. [1991] Embedding Brouwer algebras in the Medvedev lattice Notre Dame J. Formal Logic, 32, № 2, 266-275 ? article Вернуться к поиску

Cohen P.F. [1969] Decision procedures for real and p -adic fields Comment. Pure Appl. Math., 22, № 2 , 131-151 70.06.282 article Вернуться к поиску

Meyer A.R., Fischer M.J. [1972] Computational speed-up by effective operators J. Symbolic Logic, 37, № 1, 55-68 73.01.67; O article Вернуться к поиску

Case J. [1971] Enumeration reducibility and partial degrees Ann. Math. Logic, 2, № 4, 419-439 71.10.28 OES article Вернуться к поиску

Downey R. G. [1993] Array nonrecursive sets and lattice embeddings of the diamond Ill. J. Math., 37, № 3, 349-374 ? article Вернуться к поиску

Селиванов В.Л. [1988] Иepapхия Еpшoвa и Т -скaчoк Aлгeбpa и лoгикa, 27, № 4, 464 -478 ? статья Вернуться к поиску

Маранджан Г.Б. [1977] G -степени множеств минимальных индексов алгоритмов Изв. АН АрмССР, 12, № 5, 130-137 77.10.29 O статья Вернуться к поиску

Vučkovich V.D. [1973] Local recursive theory Notre Dame J. Formal Logic, 14, № 2, 237-246 73.10.50 E article Вернуться к поиску

Jockusch C.G. Jr. [1989] Degrees of functions with no fixed-points Log. Phil. Meth. Sci., 8, 191-201 ? O article Вернуться к поиску