Search results

Костырко В.Ф. [1964] Класс сведения ∀∃ n ∀ Алгебра и логика, 3 , № 5-6, 45-55 65.08.74. статья Вернуться к поиску

Sasso L.P. [1970] A cornucopia of minimal degrees J. Symbolic Logic, 35, № 3, 383-388 71.06.55 OS article Вернуться к поиску

Ershov Yu. L. [1981] How does algebra help to solve problems from the theory of algorithms (an example) Lect. Notes in Comp. Sci., 122, 462-463, Springer -Verlag 82.06.56 article Вернуться к поиску

Pour-El M.B., Putnam H. [1965] Recursively enumerable classes and their application to recursive sequences of formal theories Arch. Math. Logik Grundl., 8, № 3-4, 104-121 67.01.71 EO article Вернуться к поиску

Гончаров С.С., Новиков А.А. [1984] Примеры неавтосводимых систем Сибирск. матем. журнал, 25, № 4, 37-45 85.01.404 G статья Вернуться к поиску

Weber R. [2006] Invariance in E * and E ∩ Trans. Amer. Math. Soc., 358, № 7, 3023-3059 08.05.91 article Вернуться к поиску

Landweber L.H., Lipton R.J., Robertson E.L. [1981] On the structure of sets in NP and other complexity classes Theor. Comput. Sci., 15, № 2, 181-200 81.B12.919 O article Вернуться к поиску

Shapiro N. [1969] Recursively countable subsets of recursive metric spaces Bull. Acad. Polon. sci., Ser. math., astron. et phys., 17, № 10, 603-607 70.05.59 article Вернуться к поиску

Chong C.T., Lerman M. [1976] Hyperhypersimple α-r.e. sets Ann. Math. Logic. 9, №1-2, 1-48 76.07.95 O article Вернуться к поиску

Gandy R.O. [1960] On a problem of Kleene’s Bull. Amer. Math. Soc., 66, № 6, 501-502 61.07.86 R article Вернуться к поиску

Lerman M., Remmel J. [1982] The universal splitting properties, I Logic Coll.’80, North-Holland, 181-208 ? S article Вернуться к поиску

Remmel J.B. (ed.) [1989] Handbook of Boolean Algebras, 3 North-Holland ? S book Вернуться к поиску

Chisholm J., Knight J.F., Miller S. [2007] Computable embeddings and strongs minimal theories J. Symbolic Logic, 72, № 3, 1031-1040 ? article Вернуться к поиску

Copestake K. [1988] 1-genericity in the enumeration degrees J. Symbolic Logic, 53, № 3, 878-887 89.07.56 O article Вернуться к поиску

Young P.R. [1971] Speed-up by changing the order in which sets are enumerated Math. Syst. Theory, 5, № 2, 148-156 72.B2.729 O article Вернуться к поиску

Селиванов В.Л. [1983] Иepapxии гипеpapифмeтических множeств и фyнкций Aлгебpa и лoгикa, 22, № 6, 666-692 84.11.20 статья Вернуться к поиску

Ершов Ю.Л. [1965] Об элементарной теории максимальных нормированных полей ДАН СССР, 165, № 1, 21-23 66.07.252 статья Вернуться к поиску

Stefani S. [1993] A relativization mechanism in recursion categories J. Symbolic Logic, 58, № 4, 1251-1267 94.10.38 article Вернуться к поиску

Мейтус В.Ю., Вершинин К.П. [1974] О некоторых неразрешимых проблемах в вычислимых категориях ДАН СССР, 216, № 1, 42-43 74.10.74 E статья Вернуться к поиску

Selivanov V.L. [2003] Positivе struсtures Computability and models: perspectives East and West Kluwer Academic/Plenum Publishers, 321-350 ? article Вернуться к поиску

Friedberg R.M. [1957] A criterion for completeness of degrees of unsolvability J. Symbolic Logic, 22, № 2, 159-160 58.4451 ROS article Вернуться к поиску

Remmel J.B. [1978] Recursively enumerable Boolean algebra Ann. Math. Logic, 15, № 1, 75-107 79.04.133 SG article Вернуться к поиску

McLaughlin T.G. [1964] On contraproductive sets which are not productive Z. math. Logik und Grundl. Math., 10 , № 1, 49-52 65.02.130 O article Вернуться к поиску

Kierstead H., McNulty G., Trotter W. [1984] A theory of recursive dimension for ordered sets Order, 1, № 1, 67-82 ? article Вернуться к поиску

Shapiro N. [1956] Degrees of computability Trans. Amer. Math. Soc., 82, № 2, 281-299 59.7664 RO article Вернуться к поиску

Downey R. G. [2000] A note on btt -degrees Rend. sem . mat. Univ. politechn., Torino,58, № 4, 449-456 03.Г11.177 O article Вернуться к поиску

Jockusch C.G. Jr., Stephan F. [1993] A cohesive set which is not high Math. Logic Quarterly, 39, 515-530; corr. 43, (1997), 569 ? S article Вернуться к поиску

Kumabe M. [1993] Generic degrees are complemented Ann. Pure Appl. Logic, 59. № 3, 257-272 94.08.86 O article Вернуться к поиску

Mytilinaios M.E., Slaman T.A. [2003] Differences between resource bounded degree structures Notre Dame J. Formal Logic, 44, №.1, 1-12 ? article Вернуться к поиску

Payne T.H. [1972] Sequences having an effective fixed-point properties Trans. Amer. Math. Soc., 165, № 3, 227-237 72.10.55 E article Вернуться к поиску

Downey R. G., Stob M. [1993] Friedberg splittings of recursively enumerable sers Ann. Pure Appl. Logic, 59, № 3, 175-199 94.06.95 S article Вернуться к поиску

Bianchini C., Sorbi A. [1992 Reducibilities in some recursion categories of partial recursive operators Z. Math. Logik Grundlag. Math., 38, № 4, 349-359 ? article Вернуться к поиску

Shore R.A., Slaman T.A. [2006] The ∀∃ theory of D ( / ) is undecidable Lect. Notes in Logic, 24, 326-344, ASL La Jolla, Cal. ? article Вернуться к поиску

Horowitz B.M. [1978] Sets completely creative via recursive permutations Z. math. Logik und Grundl. Math., 24 , № 5, 445-452 79.06.63 O article Вернуться к поиску

Kurtz S.A. [1983] On the random oracle hypothesis Inform. and Control, 57, № 1, 40-47 84.95.27 O article Вернуться к поиску

Arslanov M.M. [2000] Open questions about the n -c.e. degrees Contemporary Math., 257, 15-22 05.08.85 article Вернуться к поиску

Normann D. [1979] Recursion in 3 E and a splitting theorem Essays on Math., Phil. Logic, D.Reidel Publ. Com., 275-286 ? article Вернуться к поиску

Jaśkowski S. [1956] Undecidability of first order sentences in the theory of free gropoids Fund. Math., 43, № 1, 36-45 58.2681 article Вернуться к поиску

Strong H.R. [1968] Algebraically generalized recursive function theory IBM J. Resear. And Develop., 12, № 6, 465-475 70.01.69 O article Вернуться к поиску

Rogers H. Jr. [1967] Some problems of definability in recursive theory Sets, Models and Recursion Theory, Coll. and Summer School Math. Logic (Leichester, England, 1965), North-Holland, 183-201 69.01.79 S article Вернуться к поиску

Shore R.A. [1977] Determining automorphisms of the recursively enumerable sets Proc. Amer. Math. Soc., 65, № 2, 318-325 78.08.77 OS article Вернуться к поиску

Enderton G., Luckham D. [1964] Hierarchies over recursive well-ordering J. Symbolic Logic, 29, № 4, 183-190 68.07.66 R article Вернуться к поиску

Бадаев С.А. Гончаров С.С. [2001] О полурешетках Роджерса семейств арифметических множеств Алгебра и логика, 40, № 5, 507-522 02.06.64 статья Вернуться к поиску

Lerman M., Shore R.A., Soare R.I. [1978] r -maximal major subsets. Israel. J. Math., 31, № 1, 1-18 79.07.71 OS article Вернуться к поиску

Shoenfield J.R. [1971] Unramifield forsing Proc. Symp. Pure Appl. Math., 13, 357-381 ? O article Вернуться к поиску

Berman P. , Hartmanis J. [1977] On isomorthism and density of NP and other complete sets SIAM J. Comput., 6, № 2, 305-322 78.B5.1096 O article Вернуться к поиску

Гончаров С.С., МакКой Ч. Ф., Найт Дж. Ф., Харизанова В.С. [2004] Относительно гипериммунные отношения на структурах Алгебра и логика, 43, № 2, 170-183 06.02.66 статья Вернуться к поиску

Hjorth G., Nies A. [2007] Randomness via effective descriptive set theory J. London Math. Soc., 75, № 2, 495-508 09.03.141 article Вернуться к поиску

Cooper S.B. [1996] A characterization of the jumps of minimal degrees below 0 / London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 81-92 ? O article Вернуться к поиску

Мучник Ан. А. [1985] Об основных структурах дескриптивной теории алгоритмов ДАН СССР, 285, №2, 280-283 86.05.66 статья Вернуться к поиску