Search results

Moses M. F. [1984] Recursive linear orders with recursive successivities Ann. Pure Appl. Logic, 27, № 3, 253-264 ? G article Вернуться к поиску

Montagna F., Sorbi A. [1985] Universal recursion theoretic properties of recursively enumerable preordered structures J. Symbolic Logic, 50, № 2, 397-406 86.01.58 G article Вернуться к поиску

Селиванов В.Л. [1978] Hескoлькo зaмечaний o клaссaх peкypсивнo пеpечислимых мнoжеств Сибирск. матем. журнал, 19, № l, l53-161 78.06.67 OS статья Вернуться к поиску

Jones J.P. [1974] Recursive undecidability – an exposition Amer. Math. Monthly, 87, № 7, 724-738 75.05.75 article Вернуться к поиску

Fukuyama M. [1971] Some concepts of recursiveness an admissible ordinals J. Math. Soc. Japan, 23, № 3, 435-451 72.03.53 article Вернуться к поиску

Downey R. G., Fellows M.R., Regan K.W. [1998] Descriptive complexity and the W hierarchy Proof Complexity and Feasible arithmetic, Amer. Math. Soc., Providence, RI, 119-134 05.07.85 article Вернуться к поиску

Мокацян А.А. [1982] О w -митотических, но не btt -митотических рекурсивно перечислимых множествах Тр. ВЦ АН АрмССР и ЕрГУ, 10, 143-154 83.03.57 статья Вернуться к поиску

Chong C.T. [1985] Recursive theory on strongly Σ 2 -inadmissible ordinals Lect. Notes in Math., 1141, 49-64, Springer-Verlag 86.05.63 article Вернуться к поиску

Cooper S.B., Sorbi A., Yi Xiaoding [1996] Cupping and noncupping in the enumeration degrees of Σ 2 0 sets Ann. Pure Appl. Logic, 82, № 3, 317-342 01.10.26 O article Вернуться к поиску

Лавров И.А. [2007] Сложность вычислений на абстрактных машинах Тр. Института системного программирования РАН, т.12, 95-122 08.ВН4.75 статья Вернуться к поиску

Shepherdson J.C., Sturgis H. E. [1963] Computability of recursive functions J. Ass. Comp. Mach., 10, № 2, 217-255 64.01.107 ROS article Вернуться к поиску

Оманадзе Р.Ш. [1995] Об одном усилении Q -сводимости Алгебра и логика, 34, № 1, 79-87 95. 09. 33 статья Вернуться к поиску

Ishmukhametov Sh.Т. [1999] Weak recursive degrees and a problem of Spector Recursive Theory and Complexity, Kazan’97 Workshop, (Kazan, 1997), v. 2, 81-88, de Gruyter ? article Вернуться к поиску

Cholak P., Downey R. G., Fortnow L. Gasarch W. I., Kinber E. B,, Kummer M., Kurtz S. A., Slaman T.A. [1992] Degrees of Inferability Proc. V Ann. Conf. Comp. Learning Theory, 180-192 ? article Вернуться к поиску

Lubarsky R.S. [1987] Uncoutable master codes and the jump hierachiy J. Symbolic Logic, 52, № 4, 952-958 88.06.66 article Вернуться к поиску

Kleene S.C. [1958] Extension of an effectively generated class of functions by enumeration Colloq. Math., 6, 67-78 ? O article Вернуться к поиску

Подзоров С.Ю. [2008] Арифметические m -степени Сибирск. матем. журнал, 49, № 6, 1391-1410 09.09.121 статья Вернуться к поиску

Downey R. G., Yu Liang [2004] There are no low maximal d.c.e. degrees Notre Dame J. Formal Logic, 45, № 3, 147-159 ? article Вернуться к поиску

McLaughlin T.G. [1965] Splitting and decomposition by regressive sets Michigan Math. J., 12, № 4, 499-505 66.08.73 article Вернуться к поиску

Montagna F. [1982] Relatively precomplete numerations and arithmetic J. Philos. Logic, 11, № 4, 419-430 83.04.42 article Вернуться к поиску

Wainer S.S. [1999] Accessible recursion functions Bull. Symbolic Logic, 5, № 3, 367-388 01.07.77 article Вернуться к поиску

Тайцлин М.А. [1965] О теории конечных колец с делением Алгебра и логика, 4, № 4, 103-114 66.06.253 статья Вернуться к поиску

Goetze B. [1975] Die Inseparabilitätseigenschaft und die Ricesche Unentscheidbarkeitseigenschaft bie effectiven numerierungen Elektron Infor. und Kybern., 11, № 10-12, 583-586 76.09.77 E article Вернуться к поиску

Хисамиев Н.Г. [1974] О сильно конструктивных моделях разрешимой теории Изв. АН Каз. ССР, сер. физ-мат., № 1, 83-84 74.07.172 статья Вернуться к поиску

Jockusch C.G. Jr., Soare R.I. [1994] Boolean algebras, Stone spaces and the iterated Turing jump J. Symbolic Logic, 59, № 4, 1121-1138. 96.04.210 G article Вернуться к поиску

Cholak P., Marcone A., Solomon R. [2004] Reverse mathematics and the equivalence of definition for well and better quasi-order J. Symbolic Logic, 69, № 3, 683-712 ? article Вернуться к поиску

Ohashi K. [1964] Enumeration of some classes of recursively enumerable sets Z. math. Logik und Grundl. Math., 10, № 1, 1-6 65.02.129 E article Вернуться к поиску

Spector C. [1961] Inductively defined sets of natural numbers Infitistic Methods, Proc. Symp. on Foundation Math., (Warsaw, 1959), Pergamon Press, 97-102 63.12.44 S article Вернуться к поиску

Posner D. B. [1981] The upper semilattice of degrees ≤ 0 / is complemented J. Symbolic Logic, 46, № 4, 705-713 82.08.46 OS article Вернуться к поиску

Demuth O., Kučera A. [1987] Remark on 1-genericity, semigenericity and related concepts Comment. Math. Univ. Carol., 28, № 1, 85-94 87.09.42 O article Вернуться к поиску

Jockusch C.G. Jr., McLaughlin T.G. [1969] Countable retracing functions and Π 2 0 predicates Pacif. J. Math., 30, № 1 ,67-93 70.04.82 OS article Вернуться к поиску

Барздинь Я.М. [1971] Сложность и точность решения начальных кусков проблемы вхождения в рекурсивно перечислимое множество ДАН СССР, 199, № 2, 262-264 71.12.66 статья Вернуться к поиску

Беляев В.Н., Булитко В.К. [2001] m -сводимость с верхними и нижними границами для сводящих функций Мат. заметки, 70, № 1, 12-21 02.01.108 статья Вернуться к поиску

Марченков С.С. [1976] К сравнению верхних полурешеток рекурсивно перечислимых табличных степеней и m -степеней Мат. заметки, 20, № 1, 19-26 76.11.73 OS статья Вернуться к поиску

Arslanov M.M. [1989] A hierarchy of degree of unsolvability Proc. VIII Inter. Congress Logic, Methodology, Philosophy Sci., (Moscow, 1987), Moscow, 63-86 ? article Вернуться к поиску

Dekker J.C.E. [1971] Two notes on vector spaces with recursive operations Notre Dame J. Formal Logic, 12, № 3, 329-334 72.01.85 article Вернуться к поиску

Ишмухаметов Ш.Т. [1996] Теорема о разложении выше рекурсивно перечислимой степени Уч. зап. Ульян. ун-та, № 1, 134-143 01.01.115 статья Вернуться к поиску

Alton D.A. [1974] Iterated quotients of the lattice of recursively enumerable sets Proc. London Math. Soc., 28, № 1, 1-12 74.08.75 OS article Вернуться к поиску

Kummer M. [1990] An easy priority-free proof of a theorem of Friedberg Theor. Comp. Sci., 74, № 2, 249-251 91.ВН3.53 O article Вернуться к поиску

Марков А.А. [1951] Об одной неразрешимой проблеме, касающихся матриц ДАН СССР, 78, № 6, 1089-1092 ~ статья Вернуться к поиску

... Соловьев В.Д. [1977] Критерий полноты рекурсивно перечислимых множеств и некоторые обобщения теоремы о неподвижной точке Изв. Вузов. Мат., № 4, 3-7 77.11.92 OS статья Вернуться к поиску

Simpson S. G., Rao J. [1998] Reverse algebra Handbook of Recursive Mathematics, v.2, 1355-1372, Elsevier ? article Вернуться к поиску

Голунков Ю.В. [1978] О предполных классах алгоритмов, сохраняющих принадлежность множеству Изв. Вузов. Мат., № 7, 93-96 79.04.83 S статья Вернуться к поиску

Sacks G.E. [1971] Recursion in objects of finite types Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 251-254 72.05.54 article Вернуться к поиску

Slaman T.A. [1983] The extended plus-one hypothesis – a relative consistency result Nagoya Math. J., 92, 107-120 84.08.45 article Вернуться к поиску

Friedberg R.M., Rogers H. Jr. [1959] Reducibilities and completeness for sets of integers Z. math. Logik und Grundl. Math., 5, № 2, 117-125 63.05.62 REOS article Вернуться к поиску

Ершов Ю.Л. [1970] Об одной иерархии множеств, III Алгебра и логика, 9, № 1, 34-51 70.10.74 EOSG статья Вернуться к поиску

Downey R. G. [1984] A note on decompositions of recursively enumerable subspaces Z. math. Logik und Grundl. Math., 30, № 5, 465-470 85.06.37 article Вернуться к поиску

Дегтев А.Н., Платонов М.А. [2008] О e -главных нумерациях Сибирск. матем. журнал, 49, № 2, 299-307 08.10.136 статья Вернуться к поиску

Cholak P. [1995] Automorphisms of the lattice of recursively enumerable sets Memoirs Amer. Math. Soc., 113, № 541, 1-149 96.06.90 OS article Вернуться к поиску