Search results

Thuraisingham M.B. [1986] The concept of n -cylindez and its application, II Z. math. Logik und Grundl. Math., 32, № 3, 211-219 87.02.39 article Вернуться к поиску

Фролов А. Н. [2003] Теоретико-множественная структура вычислимых множеств Изв. вузов. Мат. , № 10, 70–76 05.09.88 article Вернуться к поиску

Marques I. [1975] On speedbility of recursively enumerable sets Z. math. Logik und Grundl. Math., 21, № 3, 199-214 76.02.77 O article Вернуться к поиску

Rice H.G. [1956] On completely recursively enumerable classes and their key arrays J. Symbolic Logic, 21, № 3, 304-308 57.2840 OSG article Вернуться к поиску

Maass W. [1977] On minimal pairs and minimal degrees in higher recursion theory Arch. Math. Logik Grundl., 18, № 3/4, 169-186 78.06.65 article Вернуться к поиску

Lerman M. [1983] The structure of recursion theory Proc. South. Asian Conf. on Logic, (Singapore, 1981), North-Holland, 77-95 ? S article Вернуться к поиску

Hebeison F. [1979] Über Halbordnungen von wt -Graden in e -Graden Z. math. Logik und Grundl. Math., 25, № 3, 209-212 80.02.43 article Вернуться к поиску

Downey R. G., Hirschfeldt D. R., Lempp S., Solomon R. [2003] Computability-theoretical and proof-theoretical aspects of partial and linear orderings Israel J. Math., 138, 271-289 ? article Вернуться к поиску

Jockusch C.G. Jr. [1972] Upward closure of bi-immune degrees Z. math. Logik und Grundl. Math., 18 , № 3, 285-287 73.04.97 OS article Вернуться к поиску

Асатрян О.С. [1986] К T 0 ∪ T * теории копродуктивности, III ВЦ АН АрмССР, Ереван, деп. № 53-Ар. 87.04.43 статья Вернуться к поиску

Pour-El M.B., Kripke S. [1967] Deduction-preserving “recursive isomorphisms” between theories Bull. Amer. Math. Soc., 73, № 1, 145-148 68.01.68 OS article Вернуться к поиску

Kalantari I. [1978] Major subspaces of recursively enumerable vector spaces J. Symbolic Logic, 43, № 2, 293-303 79.01.68 O article Вернуться к поиску

Kleene S.C. [1981] The theory of recursive functions, approaching its centennial Bull. Amer. Math. Soc., 5, № 1, 43-61 82.03.43 O article Вернуться к поиску

Hird G. R. [1993] Recursive properties of intervals of recursive linear orders Progr. Comp. Sci. Appl. Logic, 12, 422-437 ? G article Вернуться к поиску

Su Kaile [1993] On the upper bound for an ascending sequence of degrees J. Nanjing Univ. Math. Biquart, 10, № 2, 153-162 95.09.34 article Вернуться к поиску

Downey R. G., Gasarch W. I., Homer S., Moses M. F. [1994] On honest polynomial time reduction and P = NP Ann. Pure Appl. Logic, 70, № 1, 1-27 ? O article Вернуться к поиску

Fischer P.C. [1963] A note on bounded truth-table reducibility Proc. Amer. Math. Soc., 14, № 6, 875- 877 67.04.60 RO article Вернуться к поиску

Sorbi A. [1998] Sets of generators and automorphism bases for the enumeration degrees Ann. Pure Appl. Logic, 94, № 1-3, 263-272 ? O article Вернуться к поиску

Березин С.А. [1976] Об алгебре одноместных примитивно рекурсивных функций с операцией итерации общего вида Кибернетика, № 3, 12-19 76.12.86 статья Вернуться к поиску

Fukuyama M. [1968] On note on incomparable degrees Sci. Repts Tokyo Kyoiku Daigaku, A9, № 220-231, 257-259 68.12.59 article Вернуться к поиску

Figueira S., Nies A., Stephan F. [2008] Lowness properties and approximations of the jump Ann. Pure Appl. Logic, 152, № 1-3, 51-66 ? article Вернуться к поиску

Rabin M. [1958] Recursive unsolvability of group theoretic problems Ann. Math., 67, № 2, 172-194 59.7677 article Вернуться к поиску

Davis M. [1966] Diophantine equations and recursively enumerable sets Automata theory, Acad. Press, 146-152 67.02.135 article Вернуться к поиску

Hammond T. [1999] Friedberg splitting in Σ 2 0 quotient lattices of E J. Symbolic Logic, 64, № 4, 1403-1406 05.08.96 article Вернуться к поиску

Kreisel G., Sacks G.E. [1965] Metarecursive sets J. Symbolic Logic, 30, № 3, 318-338 68.07.68 RS article Вернуться к поиску

Jockusch C.G. Jr. [1969] Relationships between reducibilities Trans. Amer. Math. Soc., 142 , № 8, 229-237 70.06.80 OS article Вернуться к поиску

Sacks G.E. [1966] Metarecursively enumerabable sets and admissible ordinals Bull. Amer. Math. Soc., 72, № 1, 59-64 67.10.56 article Вернуться к поиску

Добрица В.П. [1996] О числе нумераций различных объектов Сб. «Проблемы алгебры,геометрии и их приложений", Ош, 5 - 9 статья Вернуться к поиску

Barwise J. (ed.) [1977] Handbook of Mathematical Logic, parts A-D North-Holland (Имеется русский перевод.) ? S book Вернуться к поиску

Арсланов M.M. [1969] О вложении рекурсивно перечислимых множеств Сб. аспир. работ Казанск. ун-та, Казань, 9-16 69.11.53 статья Вернуться к поиску

Soare R.I., Stob M. [1982] Relative recursive enumerability Proc. Herbrand Symp. Logic (Marseilles, 1981), Studies Logic and the Foundations of Math., 107, 229-324, North-Holland ? S article Вернуться к поиску

Соловьев В.Д. [1976] Некоторые обобщения понятия сводимости и креативности Изв. Вузов. Мат., № 3, 65-72 76.11.74 O статья Вернуться к поиску

Hecker H.D. [1980] Enumerationen in speziellen Standarklassen recursive aufzählbarer Mengen Z. math. Logik und Grundl. Math., 26, № 2, 165-180 81.02.48 article Вернуться к поиску

Плясунов С.Ю. [1979] Сплинтеры и тьюринговы степени Мат. заметки, 25, № 2, 307-310 79.07.69 статья Вернуться к поиску

Robinson R.M. [1955] Primitive recursive functions, II Proc.Amer. Math. Soc., 6, № 4, 663-666 56.7065 O article Вернуться к поиску

Kontostathis K. [1991] Topological framework for non-priority Z. math. Logik und Grundl. Math., 37, № 5, 495-500 ? O article Вернуться к поиску

Ахтямов Р.В. [1987] О неподвижных точках в иерархии Ершова Каз. ун-т, деп. № 8607-В87 88.03.54 статья Вернуться к поиску

Ершов Ю.Л. [1971] Позитивные эквивалентности Алгебра и логика, 10, № 6, 620-650. 72.09.48 EOS статья Вернуться к поиску

Lachlan A.H. [1968] On the lattice of recursively enumerable sets Trans. Amer. Math. Soc., 130, № 1, 1-37 (Русский перевод в книге Дж. Шенфильда Степени неразрешимости , М., Наука, 1977, 109-162.) 68.11.47 EOS article Вернуться к поиску

Lerman M. [1976] Ideals of generalized finite sets in lattice of α-recursively enumerable sets Z. math. Logik und Grundl. Math., 22, № 4, 347-352 77.07.50 article Вернуться к поиску

Пузаренко В.Г. [2009] Об одной полурешетке нумераций Мат. Труды ИМ СО РАН, 12, № 2, 170-209 10.06.94 статья Вернуться к поиску

Cooper S.B., Li A. [2008] On Lachlan’s major subdegree problem Arch. Math. Logik Grundl., 47, № 5, 455-482 ? article Вернуться к поиску

Sacks G.E. [1980] Higher Recursion Theory Springer-Verlag ? O book Вернуться к поиску

Булитко В.К. [1985] Булевы классы тьюринговых сведений Изв. АН СССР, сер. мат., 49, № 1, 3-31 85.06.34 статья Вернуться к поиску

Skordev D. [1963] Recursiv vollständige arithmetische Operationen Изв. Мат. Ин-та Бълг. АН., 16, № 5, 465-467 64.05.65 article Вернуться к поиску

Дымент Е.З. [1977] Одна теорема о надмножествах рекурсивно перечислимых множеств Сибирск. матем. журнал, 18, № 2, 462-464 77.10.32 статья Вернуться к поиску

Lewis A. [2007]] Π 1 0 -classes, strong minimal covers and hyperimmune-free degrees Bull. London Math. Soc., 39, № 6, 892-910 09.10.119 article Вернуться к поиску

Nikolova S.K. [2000] Definability via partial enumerations with semicomputable codomains Ann.Univ. Sofia, Fac. Math., Inform., 92, 49-63 06.10.71 article Вернуться к поиску

Moses M. F. [1993] n -recursive linear orders without ( n +1)-recursive copies Logical Methods, Birkhauser,12, 572-592 ? G article Вернуться к поиску

Kalantari I. [1981] Effective content of a theorem of M. H. Stone Aspects of Effective Algebra, 128-146, Upside Down a Book Co., Yarra Glen, Vic. ? article Вернуться к поиску