Search results

Sacks G.E. [1964] The recursively enumerable degrees are dense Ann. Math, 80, № 2, 300-312 65.02.122 ROS article Вернуться к поиску

Ogiwara M., Watanabe O. [1991] On polynomial-time bounded truth-table reducibility of NP to sparse sets SIAM J. Comput., 20, № 3, 471-483 92.Г7.111 O article Вернуться к поиску

Cooper S.B. [2006] Definability as hypercomputational effect App. Math. and Comput., 178, № 1, 72-82 08.ВН3.58 article Вернуться к поиску

Ash C. J., Knight J.F., Slaman T.A. [1993] Relatively recursive expansions, II Fund. Math., 142, № 2, 147-161 94.02.75 R article Вернуться к поиску

Lempp S. [1987] Hyperarithmetical index sets in recursion theory Trans. Amer. Math. Soc., 303, № 2, 559-583 ? OS article Вернуться к поиску

Ершов Ю.Л. [1969] Гипергиперпростые m -степени Алгебра и логика, 8, № 5, 523-552 70.09.61 EOS статья Вернуться к поиску

Addison J.W. , Kleene S. C. [1957] A note on function quantification Proc. Amer. Math. Soc., 8, № 5, 1002-1006 59.7662 RO article Вернуться к поиску

Machtey M. [1974] The honest subrecursive classes are a lattice Inform. and Control, 24, № 3, 247-263 74.09.67 O article Вернуться к поиску

Shepherdson J.C. [1965] Machine configuration and word problem of given degree of unsolvability Proc. II Inter. Congress Logic, Methodology, Philosophy Sci., (Amsterdam, 1965), Amsterdam, 69-80 69.02.80 article Вернуться к поиску

Вьюгин В.В. [1974] Сегменты рекурсивно перечислимых m -степеней Алгебра и логика, 13, № 6, 635-654. 75.08.100 ES статья Вернуться к поиску

Fortnow L., Gasarch W. I., Jain S., Kinber E. B., Kummer M., Kurtz S. A., Pleszkoch M., Slaman T.A., Solovay R. M., Stephan F. [1994] Extremes in the degrees of inferability Ann. Pure Appl. Logic , 66, №.3, 231--276 ? O article Вернуться к поиску

Kontostathis K. [1992] Topological framework for infinite injury Z. math. Logik und Grundl. Math., 38 , № 3, 189-195 ? O article Вернуться к поиску

Young P.R. [1968] An effective operator, continuous but not partial recursive Proc. Amer. Math. Soc., 19 , № 1, 103-108 68.09.64 O article Вернуться к поиску

Maass W., Slaman T.A. [1992] The complexity types of computable sets J. Comp. and Syst. Sci., 44, № 2, 168-192 ? article Вернуться к поиску

Normann D. [1978] The continuos functional with noncollapsing hierarchy J. Symbolic Logic, 43, № 3, 487-491 79.06.71 article Вернуться к поиску

Börger E., Heidler K. [1976] Die m -Grade logischer Entscheidungsprobleme Arch. Math. Logik Grundl., 17, № 3-4, 105-111 76.09.83 article Вернуться к поиску

Kleene S.C. [1955] Hierarchies of number-theoretical predicates Bull. Amer. Math. Soc., 61, № 3, 193-213 56.4279 ROS article Вернуться к поиску

Dobritsa V. P. [1998] Computable classes of constructive models Handbook of Recursive Mathematics, v.1, 183-233,Elsevier ? article Вернуться к поиску

Grzegorczyk A. [1964] Recursive objects in all finite types Fund. Math., 54, № 1, 73-93 65.04.68 article Вернуться к поиску

Terwijn S., Zambella D. [2001] Computational randomness and lowness J. Symbolic Logic, 66, № 3, 1199-1205 04.12.83 article Вернуться к поиску

Howard W.A. [1972] A systems of abstract constructive ordinals J. Symbolic Logic, 37, № 2, 355-374 73.04.136 O article Вернуться к поиску

Lerman M. [1971] Some theorems on r -maximal sets and major subsets of recursively enumerable sets J. Symbolic Logic, 36, № 2, 193-215 72.04.76 OS article Вернуться к поиску

Tanaka H. [1970] On a Π 1 0 set of positive measure Nagoya Math. J., 38, 139-144 70.11.53 O article Вернуться к поиску

Lavrov I.A. [1985] The use of the Theory of algorithms in General Systems Theory A Science of Goal Formulation, Hemisphere Publ. Corp., 1991, 151-160 ? article Вернуться к поиску

Ohashi K. [1970] On a question of G. E. Sacks J. Symbolic Logic, 35, № 1, 46-50 71.04.49 article Вернуться к поиску

Nies A. [2005] Lowness properties and randomness Adv. in Math., 197, № 1, 274-305 08.05.04 article Вернуться к поиску

Lewis A. [2004] Finite cupping sets Arch. Math. Logik Grundl. 43, № 7, 845-858 06.02.28 article Вернуться к поиску

Lynch N.A., Meyer A.R., Fischer M.J. [1972] Prioity arguments in complexiy theory Recursive Function Theory Newsletter, 2, 7-10 ? article Вернуться к поиску

Lachlan A.H. [1972] Two theorems on many-one degrees of recursively enumerable sets Algebra and Logic, 11, № 2, 216-229 72.11.37 EOS article Вернуться к поиску

Shore R.A., Sorbi A. [1999] Jumps of Σ 2 high e -degrees and properly Σ 2 e -degrees Recursion Theory and Complexity, de Gruyter Series in Logic and Its Applications 2, de Grueter, 157-172 ? article Вернуться к поиску

Arslanov M.M. [1983] A hierarchy of degree of unsolvability Proc. VII Inter. Congress Logic, Methodology, Philosophy Sci., (Salzburg, 1983), North-Holland, 11-14 ? article Вернуться к поиску

Lerman M. [1970] Turing degrees and many-one degrees of maximal sets J. Symbolic Logic, 35, № 1, 29-40 71.03.70 OS article Вернуться к поиску

Friedman H.M., Stanley L. [1989] A Borel reducibility theory for classes of countable structures J. Symbolic Logic, 54, № 3, 894-914 90.11.70 article Вернуться к поиску

Kummer M. [1988] The length problem for co-recursively enumerable sets Z. math. Logik und Grundl. Math., 34 , № 3, 277-282 89.01.31 article Вернуться к поиску

Rabin M. [1969] Decidability of second order theories and automata on infinite trees Trans. Amer. Math. Soc., 141, № 7 , 1-35 (Русский перевод в Киберн. сб., 8, 72-116.) 70.90.332 OG article Вернуться к поиску

Harizanov V. S., Kummer M., Owings J. C. [1992] Frequency computations and the cardinality theorem J. Symbolic Logic, 57, № 2, 682-687 93.04.55 article Вернуться к поиску

Robinson J. [1968] Recursive functions of one variable Proc. Amer. Math. Soc., 19, № 4, 815-820 71.08.55 O article Вернуться к поиску

Cholak P., Downey R. G. , Greenberg N. [2008] Strong jump- traceability, I. The computable enumerable case Adv. in Math., 217, № 5, 2045-2074 ? article Вернуться к поиску

Robinson R.W. [1967] Two theorems on hyperhypersimple sets Trans. Amer. Math. Soc., 128, № 3, 531- 538 68.07.79 OS article Вернуться к поиску

Eisenberg E.F., Remmel J.B. [1982] Effective isomorphisms of algebraic structures Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 95-122 84.03.421 G article Вернуться к поиску

Simpson S.G. (ed.) [2005] Reverse Mathematics Lect. Notes in Logic, 21 ? book Вернуться к поиску

Giusto M., Simpson S.G. [2000] Located sets and reverse mathematics J. Symbolic Logic, 65, № 3, 1451-1480 05.01.26 article Вернуться к поиску

Kechris A.S. [1991] Amenable equivalence relations and Turing degrees J. Symbolic Logic, 56, № 1, 182-194 92.10.24 article Вернуться к поиску

Appel K.I. [1967] There exist two regressive sets whose intersection is not regressive J. Symbolic Logic, 32 , № 3, 322-324 68.02.76 O article Вернуться к поиску

Адян С.И. , Новиков П.С. [1958] Проблема тождества для полугрупп с односторонним сокращением Z. Math. Logik und Grundl. Math., 4, № 1, 66-88 59.4361 статья Вернуться к поиску

Поляков Е.А. [1998] О минимальных m -степенях Мат. заметки, 63, № 5, 795-797 00.08.45 статья Вернуться к поиску

Yuefei Sui [1987] Some results about the r.e. degrees Acta Math. Sinica, 3, 170-179 ? O article Вернуться к поиску

Maass W. [1986] Are recursion theoretic arguments useful in complexity theory ? Proc. VII Inter. Congress Logic, Methdology Philosophy Sci., (Salzburg, 1983), North-Holland, 141-158 87.02.34 S article Вернуться к поиску

Kaphengst H. [1969] Malzew-Räume, ein allgemeiner Begriff der rekursiven Abbildung Z. math. Logik und Grundl. Math., 15, № 1, 63-76 69.12.139 E article Вернуться к поиску

Hirschfeldt D. R. [2002] Degree spectra of relations on computable structures in the presence of Δ 2 0 isomorphisms J. Symbolic Logic, 67, № 2, 697-720 05.05.111 article Вернуться к поиску