Search results

Herrmann E. [2001] r-Maximal sets Seminarb., Humboldt-Univ., Sek. Math., Berl , № 17, 1–60 05.09.91 article Вернуться к поиску

Soare R.I. [1978] Recursively enumerable sets and degrees Bull. Amer. Math. Soc., 84, № 6, 1149-1181 79.07.74 S article Вернуться к поиску

Enderton G. [1964] Hierarchies in recursive function theory Trans. Amer. Math. Soc., 111, № 3, 457-471 65.01.61 R article Вернуться к поиску

Ding Decheng [1994] Non- p -generic and strongly nonbranching degree Acta Math. Sinica, 10, № 1, 30-41 95.06.59 article Вернуться к поиску

Chong C.T., Yang Yue [1998] Σ 2 induction and infinite injury priority argument, I: Maximal sets and the jump operator J. Symbolic Logic, 63, № 3, 797-814 02.01.109 O article Вернуться к поиску

Lacombe D. [1964] Deux géneralisations de la notion de recursivite relative Comp. Rend. Acad. Sci. (Paris), 258, № 12, 3141-3143 64.12.58 O article Вернуться к поиску

Cenzer D., Nies A. [2001] Initial segments of the lattice of Π 1 0 classes J. Symbolic Logic, 66, № 4, 1749-1765 05.08.99 article Вернуться к поиску

Бадаев С.А., Гончаров С.С., Сорби А. [2005] Об элементарных теориях полурешеток Роджерса Алгебра и логика, 44, № 3, 261-268 06.03.226 статья Вернуться к поиску

MacIntyre J.M. [1977] Transfinite extensions of Friedberg’s completeness criterion J. Symbolic Logic, 42, № 1, 1-10 78.07.66 O article Вернуться к поиску

Bennison V.L. [1979] Information content characterizations of complexity theoreticic properties, Lect. Notes in Comp. Sci., 67, 58-66, Springer -Verlag 79.B11.842 S article Вернуться к поиску

Соловьев В.Д. [1993] Программно-замкнутые классы общерекурсивных функций и предикатов конечного ранга Изв. Вузов. Мат., № 9, 45-60 94.11.29 статья Вернуться к поиску

Lacombe D. [1960] La theorie des fonctions recursives et ses applications Bull. Soc. Math. Fran., 88, № 4, 393-468 64.12.147 ROS article Вернуться к поиску

Slaman T.A., Soare R.I. [1995] Algebraic aspects of the computably enumerable degrees Proc. Nat. Acad. Sci., USA, 92, № 2 , 617-621 ? OS article Вернуться к поиску

... Конструктивные модели Избранные вопросы алгебры и логики, Сб., посвященный памяти А.И.Мальцева (Ширшов А.И. и др. ред.), Наука, Новосибирск, 111-130 73.11.90; G статья Вернуться к поиску

Myhill J. [1955] Creative sets Z. math. Logik und Grundl. Math., 1, № 2, 97-108 57.2844 REOS article Вернуться к поиску

Ash C.J., Knight J.F. [1990] Pairs of recursive structures Ann. Pure Appl. Logic, 46, № 3, 211-234 ? G article Вернуться к поиску

Louveau A. [1983] Some results in the Wadge hierarchs of Borel sets Lect. Notes in Math., 1019, 28-85, Springer-Verlag 84.07.36 article Вернуться к поиску

Downey R. G., Stob M. [1993] Splitting theorems in recursion theory Ann. Pure Appl. Logic, 65, № 1, 1-106 ? G article Вернуться к поиску

Griffiths E.J. [2003] Limit lemmas and jump inversion in the enumeration degrees Arch. Math. Logik Grundl., 42, № 6, 553-562 06.01.76 article Вернуться к поиску

Boone W.W. [1966] Word problems and recursively enumerable degrees of unsolvability. A sequel on finitely presented groups Ann. Math., 84, № 1, 49-84 67.06.60 S article Вернуться к поиску

Lavrov I.A. [1977] Computable numberings Proc. V Inter. Congress Logic, Methodology, Philosophy Sci., (London, Ontario, Canada, 1975), D.Reider Publ. Comp., 195-206 ? E article Вернуться к поиску

Оманадзе Р.Ш. [1987] О Q -степенях неускоряемых множеств Тр. ИПМ Тбил. ун-та, 20, 21-31 87.12.32 статья Вернуться к поиску

Shore R.A. [1980] Some constructions in α-recursion theory London Math. Soc. Lect. Notes, Cambridge Univ. Press, 45, 158-170 81.03.44 S article Вернуться к поиску

Harrington L. A., Kechris A. S. [1975] A basis result for Σ 3 0 sets of reals with an application to minimal covers Proc. Amer. Math. Soc., 53, № 2 , 445-448 76.09.85 O article Вернуться к поиску

Венцов Ю.Г. [1994] Вычислимые классы конструктивизаций для моделей бесконечной алгоритмической размерности Алгебра и логика, 33, № 1, 37-75 94.08.91 G статья Вернуться к поиску

Goncharov S.S. [1994] A unique positive enumeration,. Sibirian Adv.in Math., 4, № 1, 52-64 ? article Вернуться к поиску

Friedman H.M. [1973] Borel sets and hyperdegrees J. Symbolic Logic, 38, № 3, 405-409 74.06.119 article Вернуться к поиску

Ambos-Spies K., Homer S., Soare R.I. [1990] Minimal pairs and complete problems Lect. Notes in Comp.Sci, 415, 24-36, Springer -Verlag ? O article Вернуться к поиску

Kummer M. [1995] Kolmogorov complexity and instance complexity of recursively enumerable sets SIAM J. Comput., 25, № 6, 1123-1143 97.ВН9.103 article Вернуться к поиску

Leeds S., Putnam H. [1971] An intristic characterization of the hierarchy of constructible sets of integers Logic Coll’69, North-Holland, 311-350 71.11.94 article Вернуться к поиску

Di Paola R.A. [1978] The operator gap theorem in α-recursion theory Arch. Math. Logik Grundl., 19, № 3-4, 115-129 80.01.45 O article Вернуться к поиску

Lempp S., Nies A., Slaman T.A. [1998] The Π 3 -theory of the c. e.Turing degrees is undecidable Trans. Amer. Math. Soc., 350, № 7, 2719-2736 01.11.66 OS article Вернуться к поиску

Roy D. K. [1985] Linear order types of nonrecursive presentability Z. math. Logik und Grundl. Math., 31, № 6, 495-501 86.06.86 G article Вернуться к поиску

Harrington L. A., Shelach S. [1982] The undecidability of the recursively enumerable degrees Bull. Amer. Math. Soc., 6, № 1, 79-80 82.07.43 OS article Вернуться к поиску

Bailey C.G., Downey R. G. [1992] Tabular degrees in α-recursion theory Ann. Pure Appl. Logic, 55, № 3, 205-236 92.09.56 article Вернуться к поиску

Chong C.T. [1987] Σ 1 -density and Turing degrees Z. math. Logik und Grundl. Math., 33, № 2, 141-145 88.04.37 article Вернуться к поиску

Downey R. G., Jockusch C.G. Jr. , Stob M. [1990] Array nonrecursive sets and multiple permitting arguments Lect. Notes in Math., 1432, 141-173, Springer-Verlag ? article Вернуться к поиску

Олейникова Е.Н., Щеглов А.И. [1988] О подалгебрах одной алгебры одноместных частично рекурсивных функций Сб. Алгебра и дискретные системы, Иваново, 65-70 89.10.58 статья Вернуться к поиску

Chen Zhixiang, Homer S. [1996] The bounded injuty priority method and the learnability of unios of rectangles Ann. Pure Appl. Logic, 77, № 2, 143-168 02.09.56 article Вернуться к поиску

Арсланов M.M. [1969] Об эффективно гиперпростых множествах Алгебра и логика, 8, № 2, 143-154 70.01.68 OS статья Вернуться к поиску

Grzegorczyk A. [1953] Some classes of recursive functions Rozprawy.Mathematycne, 4, Warszawa, 1-45 (Русский перевод в Cб. пер. Козмидиади В.А., Мучник А.А. (ред.) «Проблемы в матем. логике; Сложность алгоритмов и классы вычислимых функций»,...

Spreen D. [1998], [2000] On effective topological spaces J. Symbolic Logic, 63, № 1, 185-221; corr. 65, № 4,1917-1918 ?, 01.09.441 статья Вернуться к поиску

Schwarz S. T. [1989] Index sets related to prompt simplicity Ann. Pure Appl. Logic, 42, № 3, 243-254. S ? OSG article Вернуться к поиску

Алаев П.Е., Тербер Дж., Фролов А.Р. [2009] Вычислимость на линейных порядках, обогащенных предикатами Алгебра и логика, 48, № 5, 549-562 10.06.93 статья Вернуться к поиску

McEvoy K. [1985] Jumps of quasi-minimal enumeration degrees J. Symbolic Logic, 50, № 3, 839-848 86.06.83 OS article Вернуться к поиску

Cenzer D., Clote P., Smith R. L., Soare R.I., Wainer S.S. [1986] Members of countable Π 1 0 classes Ann. Pure Appl. Logic, 31, № 2-3 , 145-163 ? S article Вернуться к поиску

Richter L. [1981] Degrees of structures J. Symbolic Logic, 46, № 4, 723-731 82.08.47 article Вернуться к поиску

Fenner S., Kurtz S.A., Royer J. [1989] Every polynomial time 1-degree collapses if and only if P=PSPACE Proc. Symp. Found. Comp. Sci., 30, 624-629 ? O article Вернуться к поиску

Freivalds R.V. [1978] Effective operations and functionals computable in the limit Z. math. Logik und Grundl. Math., 24, № 3, 193-206 ? O article Вернуться к поиску

Downey R. G., Yu Liang [2006] Arithmetical Sacks forcing Arch. Math. Logik Grundl., 45, № 6, 715-720 ? article Вернуться к поиску