Search results

Downey R. G., LaForte G., Shore R. A. [2003] Decomposition and infima in the c.e. degrees J. Symbolic Logic, 68, № 2, 551-579 06.01.73 article Вернуться к поиску

Homer S. [1986] On simple and creative sets in NP Theor. Comput. Sci., 47, № 2, 169-180 87.Г7.289 O article Вернуться к поиску

Ишмухаметов Ш.Т. [1985] О разностях рекурсивно перечислимых множеств Изв. Вузов. Мат., № 8, 3-12 86.03.61 OS статья Вернуться к поиску

Маканин Г.С. [1988] Об одном разрешимом фрагменте элементарной теории свободной группы Вопросы кибернетики № 134, 103-114 88.07.81 статья Вернуться к поиску

Machtey M. [1976] Minimal pairs of polynomial degrees with subexponential complexity Theor. Comput. Sci., 2, № 1, 73-76 77.01.45 O article Вернуться к поиску

Ambos-Spies K. [1989] Honest polynomial time reducibilities and the P =? NP problem J. Comp. and System Sci., 39, № 3, 250-281 90.ВН6.40 O article Вернуться к поиску

Downey R. G. [1998] Computability theory and linear ordering Handbook of Recursive Mathematics, v.2, 823-976, Elsevier ? article Вернуться к поиску

Дегтев А.Н. [1975] Сводимость частично рекурсивных функций , I Сибирск. матем. журнал, 16, № 5, 970-988 76.04.54 S статья Вернуться к поиску

Cholak P. [1994] The translation theorem Arch. Math. Logik Grundl., 33, № 2, 87-108 95.03.45 O article Вернуться к поиску

Добрица В.П. [1987] Локальные классы и вычислимые индексации Алгебра и логика, 26, № 2, 169-190 88.06.91 G статья Вернуться к поиску

Калимуллин И.Ш. [2009] Равномерность сводимостей проблем представимости алгебраических систем Сибирск. матем. журнал, 50, № 2, 334-343 09.10.123 article Вернуться к поиску

Ершов Ю.Л. [1988] Инвариантная порождаемость Сибирск. матем. журнал, 29, № 5, 109-111 89.01.200 статья Вернуться к поиску

Leivant D. [1989] Descriptive characterizations of computational complexity J. Comp. and System Sci., 39, № 1, 51-83 90.ВН4.49 O article Вернуться к поиску

Lachlan A.H., Shore R.A. [1992] The n -r.e.a. enumeration degrees are dense Arch. Math. Logik Grundl., 31, № 4, 277-285 93.04.50 O article Вернуться к поиску

Тайманов А.Д. [1963] Разрешимость элементарной теории включения сфер Алгебра и логика, 2, № 3, 23-28 64.06.80 статья Вернуться к поиску

Selivanov V.L. [2002] Precomplete numberings Proc. Inter. Conf. “Logic and Its Apll.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 104-143 05.11.17 статья Вернуться к поиску

Sacks G.E. [1967] Metarecursion theory Sets, Models and Recursion Theory, Coll. and Summer School Math. Logic (Leichester, England, 1965), North-Holland, 243-263 69.01.80 OS article Вернуться к поиску

Sorbi A. [1982] Σ n 0 -equivalence relations Stud. Logica, 41, № 4, 351-358 85.01.63 article Вернуться к поиску

Shepherdson J.C. [1975] Computation over abstract structure: serial and parallel procedure in Friedman’s effective definitional schemes Logic Coll.’73,North-Holland, 445-513 ? O article Вернуться к поиску

Дегтев А.Н. [1978] Разрешимость ∀∃-теории некоторой фактор решетки рекурсивно перечислимых множеств Алгебра и логика, 17, № 12, 134-143 78.11.40 OS статья Вернуться к поиску

Селиванов В.Л. [2005] О классификации счетных булевых термов Алгебра и логика, 44, № 2, 173-197. 06.07.65 статья Вернуться к поиску

Grilliot T. [1971] On effectively discontinuons type-2 objects J. Symbolic Logic, 36, № 2, 245-248 72.04.85 O article Вернуться к поиску

Stefani S. [1974] Gradi di insolubilita e limit Ann. Univ. Ferrara, ser. VII, 19, 51-64 75.03.94 article Вернуться к поиску

Selivanov V.L. [2006] Towards a descriptive set theory for domain-like structures Theor. Comput. Sci., 365, № 3, 258-282 07.ВН4.67 article Вернуться к поиску

Cooper S.B., Yi Xiaoding [1995] The discontinuity of splitting in the recursively enumerable degrees Arch. Math. Logik Grundl., 34, № 4, 247-256 97.06.136 article Вернуться к поиску

Добрица В.П. [1989] Вычислимость некоторых подклассов вычислимого класса конструктивных моделей Сибирск. матем. журнал, 30, № 3, 45-51 ? G статья Вернуться к поиску

Downey R. G., Nies A., Weber R., Yu Liang [2006] Lowness and Π 2 0 nullsets, J. Symbolic Logic, 71, № 3, 1044-1052 ? article Вернуться к поиску

Skolem T. [1962] Recursive enumeration of some classes of primitive recursive functions and majorisation theorem Kon. Nors. Vid., Sel., Forh., 35, № 26, 142-148 64.01.11 article Вернуться к поиску

Оманадзе Р.Ш. [2002] Мажорные множества, классы простых множеств и Q -полные множества Мат. заметки, 71, № 1, 100-108 02.08.34 статья Вернуться к поиску

Harrington L. A. [1974] Recursively presentable prime models J. Symbolic Logic, 39, № 2, 305-309 75.08.145 SG article Вернуться к поиску

Jockusch C.G. Jr. [1980] Fine degrees of word problems of cancellation semigroups Z. math. Logik und Grundl. Math., 26, № 1 , 93-95. 80.09.187 article Вернуться к поиску

Slaman T.A. [1989] On bounded time Turing reducibility on the recursive sets Logic Coll’ 88, North Holland, 111-112 ? article Вернуться к поиску

Поляков Е.А., Розинас М.Г. [1978] Соответствия между различными видами относительной вычислимости функций Мат. сборник, 107, № 1, 134-145 79.01.77 статья Вернуться к поиску

Young P.R. [1964] On reducibility by recursive functions Proc. Amer. Math. Soc., 15, № 6, 889-892 65.07.66 O article Вернуться к поиску

Soare R.I. [1974] Isomorphisms on countable vector space with recursive operations J. Austral. Math. Soc., A18, № 2, 230-235 75.08.107 G article Вернуться к поиску

Бадаев С.А. [1993] О мощности полурешеток нумераций недискретных семейств Сибирск. матем. журнал, 34, № 5, 3-16; 236 94.04.40 статья Вернуться к поиску

Солон Б.Я. [1991] e -степень сильной мажоранты Сб. Алгебраические системы, Иваново, 103-106 92.11.41 статья Вернуться к поиску

Марков А.А. [1963] О неотличимости по инвариантам в теории ассоциативных систем Изв. АН СССР, сер. мат., 27, № 4, 907-936 63.12.49 статья Вернуться к поиску

Cooper S.B. [1994] Rigidity and definability in the non computable universe Proc. IX Inter. Congress Logic, Methodology, Philosophy Sci., (Uppsala, 1991), North-Holland, 209-236 ? OS article Вернуться к поиску

Shoenfield J.R. [1957] Quasicreative sets Proc. Amer. Math. Soc., 8, № 5, 964-967 59.4367 ROS article Вернуться к поиску

Normann D. [2002] Representation theorems for transfinite computability and definability Arch. Math. Logik Grundl., 41, № 8, 721-741 04.12.81 article Вернуться к поиску

Steel J. R. [1981] Determinateness and the separation property J. Symbolic Logic, 46, № 1, 41-44 81.12.28 article Вернуться к поиску

Вьюгин В.В. [1974] О верхних полурешетках нумераций ДАН СССР, 217, № 4, 749-751 75.01.126 E статья Вернуться к поиску

Морозов А.С. [2005] О допустимых предикатах на допустимых множествах Сибирск. матем. журнал, 46, № 4, 841-850 08.01.216 статья Вернуться к поиску

Федоряев С.Т. [1989] О структурах алгебраической сводимости позитивных нумераций Вычис. системы, 129, 144-151, Новосибирск 90.ВН9.35 G статья Вернуться к поиску

Дегтев А.Н. [1991] О полурешетке вычислимых семейств рекурсивно перечислимых множеств Мат. заметки, 50, № 4, 61-66 92.05.55 статья Вернуться к поиску

Пранк Р. [1978] О конгруэнциях в решетке рекурсивно перечислимых множеств Уч. зап. Тарт. ун-та, № 464/22, 28-36 79.03.37 статья Вернуться к поиску

Shore R.A. [1975] The irregular and nonhyperregular α-r. e. degrees Israel. J. Math., 22, № 1, 28-41 76.07.93 O article Вернуться к поиску

Марченков С.С. [1971] О полуструктурах вычислимых нумераций ДАН СССР, 198, № 4, 766-768 71.12.73 E статья Вернуться к поиску

Selivanov V.L. [2008] Fine hierarchies and m -reducibilities in theoretical computer science Theor. Comput. Sci., 405, № 1-2, 116-163 09.ВН08.36 article Вернуться к поиску