Search results

Sacks G.E. [1963], [1966] Degrees of unsolvability Ann. Math. Studies, 55, Princeton Univ. Press, N.J. 65.05.46 SOR book Вернуться к поиску

Yates C.E.M. [1970] Initial segments of the degrees of unsolvability, part II: Minimal degrees J. Symbolic Logic, 35, № 2, 243-266 71.06.60 OS article Вернуться к поиску

Fejer L., Shore R.A. [1990] A direct construction of a minimal recursively enumerable truth-table degree Lect. Notes in Math., 1432, 187-204, Springer-Verlag ? OS article Вернуться к поиску

Kummer M. [1990] Recursive numerations without repetition revisited Lect. Notes in Math., 1432, 255-275, Springer-Verlag ? article Вернуться к поиску

Odifreddi P.G. [1981] Strong reducibilities Bull. Amer. Math. Soc., 4, № 1, 37-86 81.11.54 OS article Вернуться к поиску

Friedman Sy D. [1994] The genericity conjecture J. Symbolic Logic, 59, № 2, 606-614 95.08.69 article Вернуться к поиску

Feferman S. [1965] Some applications of the notions of forcing and generic sets Fund. Math., 56, № 3, 325-345 66.03.77 O article Вернуться к поиску

Денисов С.Д. [1978] Строение верхней полурешетки рекурсивно перечислимых m -степеней и смежные вопросы, I Алгебра и логика, 17, № 6, 643-683 79.10.43 OS статья Вернуться к поиску

Shore R. A. [2006] Invariants, Boolean algebras and ACA 0 + Trans. Amer. Math. Soc., 358, № 3, 989-1014 ? article Вернуться к поиску

Ladner R.E., Sasso L.P. [1975] The weak truth table degrees of recursively enumerable sets Ann. Math. Logic, 8, № 4, 429-448 76.02.87 OS article Вернуться к поиску

Hrbacek K., Simpson S.G. [1980] On Kleene degrees of analytic sets Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 269-274 ? article Вернуться к поиску

Nerode A., Remmel J.B. [1985] Generic objects in recursion theory Lect. Notes in Math., 1141, 271-314, Springer-Verlag 86.04.48 S article Вернуться к поиску

Jensen R. B., Karp C. [1971] Primitive recursive set functions Logic Coll’69, North Holland, 143-137 ? article Вернуться к поиску

Rabin M. [1965] A simple method for undecidability proofs and some applications Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 1965, 58-68 69.06.97 article Вернуться к поиску

Degtev A.N. [1982] Small degrees in ordinary recursive theory Proc. VI Inter. Congress Logic, Methodology, Philosophy Sci., (Hannover, 1979), North-Holland, 237-240 ? S article Вернуться к поиску

Арсланов M.M. [1979] Слабо рекурсивно перечислимые степени и предельная вычислимость Вероят. методы и кибернетика, Казань, Из-во КГУ, № 15, 3-9 79.12.40 OS статья ...

Dekker J.C.E., Myhill J. [1958] Some theorems on classes of recursively enumerable sets Trans. Amer. Math. Soc., 89 , № 1, 25-59 60.2667 REOS article Вернуться к поиску

Breidbart S. [1978] On splitting recursive sets J. Comp. and Syst. Sci., 17, № 1, 56-64 79.B4.505 O article Вернуться к поиску

Slaman T.A. [1985] The E - recursively enumerable degrees are dense Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 195-213 86.03.44 article Вернуться к поиску

Downey R. G., Lempp S., Wu G. ? On the complexity of the successivity relation in computable linear orders ? ? article Вернуться к поиску

Hemachandra L.A. [1988] Structure of complexity classes: separations, collapses and completeness Lect. Notes in Comp. Sci.,324, 59-73, Springer-Verlag ? O article Вернуться к поиску

Ambos-Spies K., Fejer P.A. [2001] Embedding of N 5 and the contiguous degrees. Ann. Pure Appl. Logic, 112, № 2-3, 151-188 ? O article Вернуться к поиску

Hodes H. T. [1981] Upper bounds on locally countable admissible initial segments of a Turing degrees hierarchy J. Symbolic Logic, 46, № 4, 753-760 82.08.48 article Вернуться к поиску

Young P.R. [1985] Gödel theorems, exponential difficulty and undecidability of arithmetic theories an exposition Proc. AMS and ASL Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math. 42, 503-522, Springer-Verlag 86.02.78 S article Вернуться к поиску

Kumabe M. [1993] Every n -generic degree is a minimal cover of an n -generic degree J. Symbolic Logic, 58, № 1, 219-231 94.02.64 O article Вернуться к поиску

Weber F.P. [1994] Initial segments of the lattice of ideals of r.e. degrees J. Symbolic Logic, 59, № 4, 1326-1350 95.08.75 article Вернуться к поиску

Arslanov M. M., Kalimullin I. Sh., Lempp S. [2010] On Downey’s conjecture J. Symbolic Logic, 75, № 2, 401-441 ? article Вернуться к поиску

Metakides G., Nerode A., Shore R.A. [1985] Recursive limits on the Hahn-Banach theorem Contemporary Math., 39, 85-91 86.Б3.1134 S article Вернуться к поиску

Remmel J.B. [1978] An r -maximal vector space not contained in any maximal vector space J. Symbolic Logic, 43, № 3, 430-441 79.06.61 article Вернуться к поиску

Carroll J.S. [1986] Some undecidability results for lattices in recursion theory Pacif. J. Math., 122, № 2, 319-331 86.12.63 article Вернуться к поиску

Vučkovich V.D. [1982] Relativized cylindrification Z. math. Logik und Grundl. Math., 28, № 2, 167-172 83.01.32 article Вернуться к поиску

Bianchini C.,Sorbi A. [1996] A note on closed degrees of difficulty of the Medvedev lattice Math. Logic Quarterly, 42, № 1,127-133 ? article Вернуться к поиску

Hay L., Miller D. [1982] The Addison game played backwards: index sets in topology Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 231-237 84.03.84 article Вернуться к поиску

Hay L. [1975] Rice theorems for d.r.e. sets Canad. J.Math., 27, № 2, 352-365 75.12.53 EO article Вернуться к поиску

Daley R.P. [1981] Busy beaver sets and the degrees of unsolvability J. Symbolic Logic, 46, № 3, 460-474 82.04.69 article Вернуться к поиску

Spector C. [1956] On degrees of recursive unsolvability Ann. Math., 64, № 3, 581-592 58.4456 ROS article Вернуться к поиску

Normann D. [2002] Continuity, proof systems and the theory of transfinite computations Arch. Math. Logik Grundl., 41, № 8, 765-788 04.12.80 article Вернуться к поиску

Jockusch C.G. Jr. [1969] The degrees of bi-immune sets. Z. math. Logik und Grundl. Math., 15, № 2, 135-140 70.04.80 OS article Вернуться к поиску

Herrmann E. [1981] Der Verbandseigenschaften der Rekursiv aufzählbaren Mengen Seminarb., Humboldt-Univ., Sek. Math., Berl , № 36, IV, 275 82.04.76 S article Вернуться к поиску

Scott D. [1976] Data types as lattices SIAM J. Comput., 5, № 3, 522-587 77.B11.937 article Вернуться к поиску

Downey R. G., Moses M.F. [1991] Recursive linear orderings with incomplete successivities Trans. Amer. Math. Soc., 326, № 2, 653-668 92.07.53 G article Вернуться к поиску

Белеградек О.В. [1978] m -степени проблемы равенства слов Сибирск. матем. журнал, 19, № 6, 1232-1236 79.04.230 S статья Вернуться к поиску

Lachlan A.H., Soare R. I. [1998] Model arithmetic and subuniform bounds for the arithmetic sets J. Symbolic Logic, 63, № 1, 59-72 01.12.123 article Вернуться к поиску

Chong C.T. [1984] Minimal α-hyperdegrees Arch. Math. Logik Grundl., 24, № 1-2, 63-71 84.12.45 article Вернуться к поиску

Goncharov S.S. [1998] Autostabe models and algorithmic dimension Handbook of Recursive Mathematics, v.1, 261-287, Elsevier ? article Вернуться к поиску

Sorbi A. (ed.) [1997] Complexity, Logic, and Recursion Theory Lect. Notes in Pure and Appl. Math., 187, Marcel Dekker, N.Y ? book Вернуться к поиску

Arslanov M.M., Cooper S.B., Kalimullin I.Sh.,Soskova M.I. [2008] Total degrees and nonsplitting properties of Σ 2 0 - enumeration degrees Lect. Notes in Comp. Sci., 4978, 568-578, Springer -Verlag ? , article Вернуться к поиску

Yi Xiaoding [1996] A non-splitting theorem for α-r.e. sets Ann. Pure Appl. Logic, 82, № 1, 17-96 99.12.57 O article Вернуться к поиску

Berry J. [1972] A note on immune sets Notre Dame J. Formal Logic, 13, № 1, 98-100 72.09.46 article Вернуться к поиску

Васильева И.З. [1996] Плотность решеток m -степеней условных проблем Сибирск. матем. журнал, 37, № 6, 1266-1268 97.08.71 статья Вернуться к поиску