Search results

Подзоров С.Ю. [2006] Нумерованные дистрибутивные полурешетки Труды ИМ СО РАН, 9, № 2, 109-132 07.07.303 статья Вернуться к поиску

Морозов А.С. [1997] Тьюрингова сводимость как алгебраическая вложимость Сибирск. матем. журнал, 38, № 2, 362-364 97.11.129 статья Вернуться к поиску

Ершов Ю.Л. [1990] Форсинг в допустимых множествах Алгебра и логика, 29, № 6, 648-658 92.05.33 статья Вернуться к поиску

Simpson S.G. [1982] Four test problems in generalized recursion theory Proc VI Inter. Congress Logic, Methdology, Philosophy Sci., (Hannover, 1979), North-Holland, 263-270 ? article Вернуться к поиску

Kjos-Hanssen B. Stephan F. [2003] Lowness for the classes of Schnorr random sets SIAM J. Comput., 35, № 3, 647-657 ? article Вернуться к поиску

Щеглов А.И. [1972] Два замечания об алгебре частично-рекурсивных функций Уч. зап. Иван. пед. ин-та, 106, 77-82 73.01.72 статья Вернуться к поиску

Здебская Г.В. [1980] О слабо гиперпростых множествах Вероят. методы и кибернетика, Казань, Из-во КГУ, № 16, 45-50 80.12.44. статья Вернуться к поиску

Shinoda J., Slaman T.A. [2000] Recursive in a generic real J. Symbolic Logic, 65, № 1, 164-172 02.10.64 O article Вернуться к поиску

Bennison V.L. [1980] Recursively enumerable complexity sequences and measure independence J. Symbolic Logic, 45, № 3, 417-438 81.05.47 OS article Вернуться к поиску

Розинас М.Г. [1972] Алгебра многоместных примитивно рекурсивных функций Уч. зап. Иван. пед. ин-та, 117, 95-111 73.07.101 статья Вернуться к поиску

Hinman P. G. [1978] Recursion-theoretical hierarchies Omega Series, Springer-Verlag ? SO book Вернуться к поиску

Sacks G.E. [1967] Measure-theoretical uniformity Bull. Amer. Math. Soc., 73, № 1, 169-174 67.10.66 article Вернуться к поиску

Дымент Е.З. [1980] Сильная теорема об иерархии для классов множеств Изв. Вузов. Мат., деп. № 1451-81 81.07.17 статья Вернуться к поиску

Ehrenfeucht A., Feferman S. [1960] Representability of r.e. sets in formal theories Arch. Math. Logik Grundl., 5, № 1-2, 37-41 61.03.96 O article Вернуться к поиску

Голунков Ю.В., Савельев А.А. [1984] Об алгоритмической полноте некоторых систем функций и предикатов Вероят. методы и кибернетика, Казань, Из-во КГУ, № 20, 49-55, 84.09.36 статья Вернуться к поиску

Матиясевич Ю.В. [1971] Диофантово представление перечислимых предикатов Изв. АН СССР, сер. мат., 35, № 1, 3-30 71.06.51 RS статья Вернуться к поиску

Гончаров С.С. [1980] Проблема числа неавтоэквивалентных конструктивизаций Алгебра и логика, 19, № 6, 621-639 81.07.62 G статья Вернуться к поиску

Harrington L. A. [1974] The superjump and the first recursively Mahlo ordinal General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 43-52 North Holland 75.06.117 article Вернуться к поиску

Алтаев А.В. [1974] Операторы, определяемые γ-нумерацией, и связанные с ними сводимости ДАН СССР, 216, № 5, 961-963 74.12.68 RE статья Вернуться к поиску

Downey R. G., Gale A. [2001] Genericity and Ershov’s hierarchy Math. Logic Quarterly, 47, № 2, 161-182 ? article Вернуться к поиску

Cholak P., Nies A. [1999] Atomless r -maximal sets Israel J. Math., 113, 305-322 ? OS article Вернуться к поиску

Lachlan A.H. [1966] Lower bounds for pairs of recursively enumerable degrees Proc. London Math. Soc., 16, № 3, 537-569 67.06.59 OS article Вернуться к поиску

Chubb J.,Frolov A.,Harizanov V. [2009] Degree spectra of successivities of linear orderings Arch. Math. Log., 48, № 1 7-13 article Вернуться к поиску

Rabin M. [1963] Real time computability Israel. J. Math, 1, № 4 , 203-211 (Русский перевод в сб. Проблемы в математической логике: Сложность алгоритмов и классы вычислимых функций. (Козмидиади В.А., Мучник А.А.-редакторы),...

Wainer S.S. [1989] Slow growing versus fast growing J. Symbolic Logic, 54, № 2, 608-614 90.06.54 O article Вернуться к поиску

Hay L., Manaster A. B., Rosenstein J.G. [1977] Concerning partial recursive similarity transformations of linearly ordered sets Pacif. J. Math., 71, № 1, 57-70 78.04.55 S article Вернуться к поиску

Оманадзе Р.Ш. [1991] О верхней полурешетке рекурсивно перечислимых sQ -степеней Алгебра и логика, 30, № 4, 405-413 92.09.62 статья Вернуться к поиску

Ivanov L.L. [1989] Abstract hierarchies and degrees J. Symbolic Logic, 54, № 1, 16-25 89.11.42 article Вернуться к поиску

McLaughlin T.G. [1964] Some observations on quasicohesive sets Michigan Math. J., 11, № 1, 83-87 65.09.60 article Вернуться к поиску

Nadel M.E. [1974] Scott sentences and admissible sets Ann. Math. Logic., 7, № 2-3, 267-294 75.05.107 article Вернуться к поиску

Hirschfeldt D. R., Nies A., Stephan F. [2007] Using random sets as oracles J. London Math. Soc., 7, № 3, 610-622 ? article Вернуться к поиску

Arslanov M.M. [1997] Difference splittings of recursively enumerable sets J. Universal Comp. Sci.,3, № 3 , 172-184 ? article Вернуться к поиску

McNulty G.F. [1986] Alfred Tarski and undecidable theories J. Symbolic Logic, 51, № 4, 890-898 87.08.66 article Вернуться к поиску

Binns S., Simpson S.G. [2004] Embeddings into the Medvedev and Muchnik lattices of Π 1 0 classes Arch. Math. Logik Grundl., 43, № 3, 399-414 06.09.55 article Вернуться к поиску

Гаврилов С. [1978] Соотношения между различными видами относительной вычислимости всюду определенных функций Сб. Рекурсивные функции, Иваново, 3-10 79.08.40 статья Вернуться к поиску

Добрица В.П. [1988] Полиномиально ограниченные сводимости вычислимых индексаций Вычис. системы, 124, 46-61, Новосибирск 89.Г3.327 G статья Вернуться к поиску

Jockusch C.G. Jr., Kalantari I. [1984] Recursively enumerable sets and van der Warden’s theorem on arithmetic progressions, Pacif. J. Math., 115, № 1, 143-153 85.08.62 S article Вернуться к поиску

Herrmann E. [1983] Definable Boolean pairs in the lattice of recursively enumerable sets Seminarb., Humboldt-Univ., Sek. Math., Berl , № 49, 42-67 84.02.46 S article Вернуться к поиску

Ambos-Spies K. [1999] Polynomial-time degrees Handbook of Computability Theory, Elsevier, 679-703 ? O article Вернуться к поиску

Baratella S. [1989] On some properties of recursively enumerable equivalence relations Z. math. Logik und Grundl. Math., 35, № 3, 261-268 90.04.32 article Вернуться к поиску

Simpson S. G. [1985] Recursion theoretic aspects of the dual Ramsey theorem Lect. Notes in Math., 1141, 357-371, Springer-Verlag 86.05.71 S article Вернуться к поиску

Дегтев А.Н. [1973] О tt - и m -степенях Алгебра и логика, 12 , № 2, 143-161 74.02.63 EOS статья Вернуться к поиску

Li A. [2005] Low splitting theorem in the difference hierarchy Lect.Notes in Comp.Sci., 3526, 287-296 ? article Вернуться к поиску

Hinman P.G. [1977] A survey of finite-type recursion Lect. Notes in Math., 619, 187-209, Springer-Verlag 78.10.28 article Вернуться к поиску

Watanabe O. [1987] A comparison of polynomial time completeness notions Theor. Comput. Sci., 54, № 2-3, 143-156 88.Г9.297; O article Вернуться к поиску

Ишмухаметов Ш.Т. [1982] О семействах рекурсивно перечислимых множеств Вероят. методы и кибернетика, Казань, Из-во КГУ, № 18, 46-53 83.04.41 OS статья Вернуться к поиску

Hodges W., Nies A. [1998] Noninterpretability of infinite linear orders Logic Coll’95, Springer-Verlag, 73-78 ? O article Вернуться к поиску

Melzak Z.A. [1961] An informal arithmetical approach to computability and computation Canad. Math. Bull., 4, № 3, 279-294 63.03.68 O article Вернуться к поиску

Lempp S., Lerman M. [1997] Iterated trees of strategies and priority arguments Arch. Math. Logik Grundl., 36, № 4-5, 297-312 01.10.119 O article Вернуться к поиску

Ditchev A.V. [1989] On the effective enumerations of partial structures Ann.Univ. Sofia Fac. Math., Inform., 1989 (1992), 83, 29-37 ? article Вернуться к поиску