Search results

Glasser C., Schmitz H., Selivanov V.L. [2008] Efficient algorithms for membership in Boolean hierarchies of regular languages Proc. Symposium “Theoretical Aspects of Computer Science” (Bordeaux, France, 2008), 337-348, Schloss Dagstuhl Germany ? article Вернуться к поиску

Watson P. [1990] On restricted forms of enumeration reducibility Ann. Pure Appl. Logic, 49, № 1, 75-96 91.02.33 article Вернуться к поиску

Soare R.I. [1997] Computability and enumerability Proc. X Inter. Congress Logic, Methodology, Philosophy Sci., (Florence, 1995), 221-237 ? article Вернуться к поиску

Addison J.W. [1962] The theory of hierarchies Proc. I Inter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 26-37 (Русский перевод в сб. “Математическая логика и ее применения”, (Мальцев А.И.- ред.), М., Мир, 1965, 23-36.) 65.08.67 R article Вернуться к поиску

Fan Yun, Lu Hong [2005] Some properties of sw -reducibility J. Nanjing Univ. Math., Biquart., 22, № 2, 244–252 07.06.68 article Вернуться к поиску

... Неразрешимость элементарной теории поля рациональных функций от одного переменного с рациональными коэффициентами Алгебра и логика, 2, № 4, 5-11 64.07.110 статья Вернуться к поиску

Добрица В.П. [1994] О полурешетках вычислимых индексаций эффективно счетной ширины Сб. "Алгебра, логика и приложения" Иркутский ГУ, 66 -72 статья Вернуться к поиску

Ершов Ю.Л. [1967] Об элементарных теориях многообразий Поста Алгебра и логика, 6, № 5, 7-15 68.07.120 статья Вернуться к поиску

Harrington L. A., Soare R.I. [1991] Post’s program and incomplete recursively enumerable sets Proc. Nat. Acad. Sci., USA, 88, № 22 , 10242-10246 ? O article Вернуться к поиску

Knight J. F. [1990] Constructions by transfinitely many workers Ann. Pure Appl. Logic, 48, № 3, 237-259 91.04.74 article Вернуться к поиску

Normann D. [1981] The continuons functionals: computations, recursions and degrees Ann. Math. Logic, 21, № 1, 1-26 82.08.53 O article Вернуться к поиску

Хусаинов Б.М. [1991] О позитивных нумерованных моделях Сибирск. матем. журнал, 32, № 3, 184-191 91.12.56 G статья Вернуться к поиску

Cooper S.B., Sorbi A. [1996] Noncappable enumeration degrees below 0 e / J. Symbolic Logic, 61, № 4, 1347-1363 98.02.50 01.01.117 O article Вернуться к поиску

Ишмухаметов Ш.Т. [1985] О семействах разностей рекурсивно перечислимых множеств Ульян. политех. ин-т, деп..№ 8292-В 86.04.49 статья Вернуться к поиску

Manaster A.B. [1971] Some contrasts between degrees and the arithmetical hierarchy J. Symbolic Logic, 36, № 2, 301-304 72.04.77 OG article Вернуться к поиску

Downey R. G. [1987] Localization of a theorem of Ambos-Spies and the strong antisplitting properly Arch. Math. Logik Grundl., 26, № 3-4 , 127-136 88.04.36 OS article Вернуться к поиску

Kinber E. B. [1977] On btt -degrees of sets of minimal numbers in Gödel numbering Z. math. Logik und Grundl. Math., 23 , № 3, 201-212 78.03.66 O article Вернуться к поиску

Harizanov V.S., Miller R. [2007] Spectra of structures and relations J. Symbolic. Logic, 72, № 1, 324-348 ? article Вернуться к поиску

Колмогоров А.Н. [1965] Три подхода к определению понятия количество информации Проблемы передачи информации, т.1, в.1, 3-11 66.09.170 O статья Вернуться к поиску

Фокина Е.Б. [2007] Индексные множества разрешимых моделей Сибирск. матем. журнал, 48, № 5, 1167-1179 09.08.117 статья Вернуться к поиску

Батыршин И.И. [2008] Относительная перечислимость в иерархии Ершова Мат. заметки, 84, № 4, 506-517 09.07.103 статья Вернуться к поиску

Chong C.T. [1984] Techniques of admissible Recursion Theory Lect. Notes in Math., 1106, Springer -Verlag 85.08.18 SO book Вернуться к поиску

Odifreddi P.G. [1981] Trees and degrees Lect. Notes in Math., 839, 235-271, Springer-Verlag 81.09.26 O article Вернуться к поиску

Канович М.И. [1977] О точности сложностного критерия нерекурсивности и универсальности ДАН СССР, 232, № 6, 1249-1252. 77.07.42. статья Вернуться к поиску

Ambos-Spies K. Cooper S.B., Lempp S. [1998] Initial segments of recursive linear orders Order, 14, № 2, 101-105 ? article Вернуться к поиску

Cholak P., Downey R. G., Harrington L. A. [2008] On the orbits of computable enumerable sets J. Amer. Math. Soc., 21, 1105-1135 ? article Вернуться к поиску

Manaster A. B., Remmel J. B. [1981] Some decision problems for subtheories of two-dimensional partial orderings Lect. Notes in Math., 859, 202-214, Springer-Verlag 81.12.87 article Вернуться к поиску

Skolem T. [1923] Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich Skrifter utgit av Videnskapsselskapet i Kristiania, I. Mathematisk-Naturvidenskabelig Klasse, № 6, 3-38 ~ O article Вернуться к поиску

Ахтямов Р.В. [1989] Постовские индексные множества и сводимости, порождающие их Каз. ун-т, деп. № 2351-В90 90.08.34 статья Вернуться к поиску

Оманадзе Р.Ш. [1992] Сложностные свойств рекурсивно перечислимых множеств и sQ -полнота Сооб. АН ГССР, 146 , № 1, 9-12 ? статья Вернуться к поиску

Shore R.A. [1981] The theory of the degrees below 0 / J. London Math. Soc., 24, № 1, 1-14 82.02.56 OS article Вернуться к поиску

Nies A., Stephan F., Terwijn S. [2005] Randomness, relativization and Turing degrees J. Symbolic Logic, 70, № 2, 515-535 ? article Вернуться к поиску

Тайцлин М.А. [1964] Об элементарных теориях свободных нильпотентных алгебр Алгебра и логика, 3, № 5-6, 57-63 65.11.278 статья Вернуться к поиску

Fotrune S. [1979] A note on sparse complete sets SIAM J. Comp., 8, № 3, 431-433 80.B3.680 O article Вернуться к поиску

Hughes C.E. [1972] Many-one degrees associated with problems of Tag J. Symbolic Logic, 38, № 1, 1-17 73.11.67 article Вернуться к поиску

Martin D.A. [1977] Descriptions set theory: projective sets Handbook of Mathematic Logic, p. B, North-Holland, 783-815 (Русский перевод в Справочной книге по математической логике , ч. II , (Гришин В.Н.-ред.), М., Наука, 1982, 235-272.) ? article Вернуться к поиску

Дегтев А.Н., Захаров Д.А. [1979] Перечислимые множества Новосибирск, Из-во НГУ ? книга Вернуться к поиску

Mrowka S. [1957] Recursive families of sets Fund. Math., 44, № 2, 186-191 59.4366 E article Вернуться к поиску

Микенберг А.М. [1964] О полных системах неубывающих общерекурсивных функций ДАН СССР, 154. № 3, 517-519 64.09.62 статья Вернуться к поиску

Dawes A.M. [1982] Splitting theorems for speed-up related to order of enumeration J. Symbolic Logic, 47, № 1, 1-7 82.08.44 O article Вернуться к поиску

Hirst J.L., Lempp S. [1996] Infinite versions of some problems from finite complexity theory Notre Dame J. Formal Logic, 37, № 4, 545-553 ? article Вернуться к поиску

Маранджан Г.Б. [1971] Структуры блоков рекурсивных функций ДАН АрмССР, 52, №1, 7-9 71.09.53 статья Вернуться к поиску

Harizanov V. S. [1991] Uncountable degree spectra Ann. Pure Appl. Logic, 54, № 3, 255-263 92.03.88 G article Вернуться к поиску

Соколов В.А. [1972] Некоторые свойства алгебры всех частично рекурсивных функций Сб. Математические исследования, Кишинев, Штиинца, т. 7, в.1, 133-149 72.06.78 статья Вернуться к поиску

Kalmar L.,Suranyi J. [1947] On the Reduction of the Decision Problem J. Symbolic Logic, 12, № 3, 65-73 ~ article Вернуться к поиску

Arbib M.A., Blum M. [1965] Machine dependence of degrees of difficulty Proc. Amer. Math. Soc., 16, № 3, 442-447 66.04.35 O article Вернуться к поиску

Павлова Е.А. [1961] О плотности множества густот множеств натуральных чисел Изв. АН Молд.ССР, №10 (88), 10-15 63.01.76 статья Вернуться к поиску

Гончаров С.С., Найт Дж. Ф. [2002] Вычислимые структурные и антиструктурные теоремы Алгебра и логика, 41, № 6, 639-681 03.09.75 статья Вернуться к поиску

Downey R.G.,Fellows M.R. [1995] Fixed-parameter tractability and completess, I: Basic results SIAM J. Comp., 24, № 4, 873-921 96.ВН11.370 article Вернуться к поиску

Ершов Ю.Л. [1983] Динамическая логика над допустимыми множествами ДАН СССР, 273, № 5, 1045-1048 84.05.78 статья Вернуться к поиску