News
General Theory of Computability
(bibliography)
by Lavrov I.A.
By Author Name:
English: A-B-C-D-E-F-G-H-I-J-K-L-M-N-O-P-Q-R-S-T-U-V-W-X-Y-Z
Русские: А-Б-В-Г-Д-Е-Ж-З-И-К-Л-М-Н-О-П-Р-С-Т-У-Ф-Х-Ц-Ч-Ш-Щ-Э-Ю-Я
Search
Orlicki A. [1988] On some problems related to enumerated types of algebras Z. math. Logik und Grundl. Math., 34, № 6, 553-562 89.06.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lachlan A.H. [1974] A note on Π n +1 0 functions and relations Bull. Acad. Polon. sci., Ser. math., astron. et phys., 22, № 9, 863-866 75.05.78 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Slaman T.A., Soare R.I. [2001] Extensions of embeddings in the computably enumerable degrees Ann. Math., 154, № 1, 1-43 05.09.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Meyer A.R., Winklmann K. [1979] The fundamental theorem of complexity theory Found. Comput. Sci., 3, 97-112 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rice H.G. [1957] On the relative density of sets of integers Proc. Amer. Math. Soc., 8, № 2, 320-321 59.8724 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Bailey C.G. [1987] Some new natural α-RE degrees J. Symbolic Logic, 52, № 1, 227-231 87.11.57 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jones J.P. [1978] Three universal representation of recursively enumerable sets J. Symbolic Logic, 43, № 2, 335-351 79.02.61 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hodes H. T. [1978] Uniform upper bound on ideals of Turing degrees J. Symbolic Logic, 43, № 3, 601-612 79.05.70 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Rice H.G. [1956] Recursive and recursively enumerable orders Trans. Amer. Math. Soc., 83, № 2, 277-300 59.8723 OSG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Orlicki A. [1992] On a concept of a binary relation over partial enumerated sets Algebra and Logic, 31, № 3, 306-318 94.05.77 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Slaman T.A. [2000] Recursive theory in set theory Contemporary Math., 257, 273-278 01.ВН12.66 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ershov Yu. L. Goncharov S.S. ( et. al. eds) [1998] Handbook of Recursive Mathematics, v.1, 2 Studies Logic and Found. Math., 138, 139, North-Holland, Elsevier ? G book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Myhill J. [1953] Three contributions to recursive function theory Actes du XI congrés international de philosophie (Bruxelles, 1953), XIV, North-Holland, 50-59 56.2717 RS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Coles R. J., Downey R. G., Slaman T.A. [2000] Every set has a least jump enumeration J. London Math. Soc., 62, № 3, 641-649 05.09.73 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Sacks G.E. [1977] R.e. sets higher up Logic, Foundat of Math. Comp. Dordrecht-Nolland, 1970, 173-194 ? S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Turing A.M. [1939] Systems of logic based on ordinals Proc. London Math. Soc., 45, № 3,161-228 ~ OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Füredi Z, Jockusch C.G. Jr., Rubel L., [1996] Difference sets and inverting the difference operator Combinatorica, 16, № 1, 87-106 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M. [1971] Initial segments of the degrees of unsolvability Ann. Math., 93, № 2, 365-389 71.11.99 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kjos-Hanssen B. [2003] Local initial segments of the Turing degrees Bull. Symbolic Logic, 9, № 1, 26-36 06.01.71 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grant P.W. [1980] Some more independence results in complexity theory Theor. Comput. Sci., 12, № 2, 119-126 81.B2.780 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Selivanov V.L. [1996] Оn rесursivеly enumеrablе struсturеs Ann. Purе Appl. Logiс, 78, № 1-3, 243-258 97.09.108 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Кобзев Г.Н. [1977] Максимальные m -степени Сооб. АН ГССР, 85, № 2, 325-327 77.09.54 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mayoh B.H. [1969] Semi-effective numberings and definitions of the computable numbers Arch. Math. Logik Grundl., 11, № 3-4, 113-125 69.10.26 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lempp S., Lerman M. [1995] A general framework for priority arguments Bull. Symbolic Logic, 1, № 2, 189-201 97.06.137 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] Об одном классе гиперпростых неполных множеств Мат. заметки, 38, № 6, 872-875; 984-985 86.04.51 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lachlan A.H., Yi Xiaoding [1993] Jump theorems for REA operators Math. Logic Quarterly, 39, 1-6 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Hirschfeldt D. R., Nies A. [2002] Randomness, computability and density SIAM J. Comp., 31, № 4, 1169-1183 ВН03.04.114 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Dekker J.C.E. [1969] Countable vector space with recursive operations. Part I J. Symbolic Logic, 34, № 3, 363-387 70.05.60 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fenstad J. E. [1980] General recursion theory: An Axiomatic Approach, Perspectives in Mathematical Logic Omega series, Springer 81.01.14 SO book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B. [2001] On a conjecture of Kleene and Post Math. Logic Quarterly, 47, № 1, 3-33 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grilliot T. [1969] Hierarchies based on objects of finite type J. Symbolic Logic, 34, № 2, 177-182 70.03.81 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Omanadze R. Sh. [1987] Relation between recursively enumerable Q - and T -degrees Proc. VIII Inter. Congress Logic, Methodology, Philosophy Sci., (Moscow, 1987), Moscow, 157-158 88.02.35 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1992] Пpедпoлныe нyмepaции и функuии бeз нeпoдвижных тoчек Maт. зaмeтки, 51, № 1, l49-155 92.09.61 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Flajolet P., Steyaert J.M. [1976] Hierarchies de complexite et reductions entre problémes Asterisque, № 38-39, 53-72 77.06.62 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Welch P. D. [2003] On revision operators J. Symbolic Logic, 68, № 2, 689-711 04.09.116 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Friedberg R.M. [1957] The fine structure of degrees of unsolvability of recursively enumerable sets Summaries Cornell Univ.Summer Inst. for Symbolic Logic, 404-406 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M. [1981] On recursive linear orderings Lect. Notes in Math., 859, 132-142, Springer-Verlag 82.01.33 SG article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G. [1989] D .r.e. degrees and the nondiamond theorem Bull. London Math. Soc., 21, № 1, 43-50 89.12.77 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Solovay R.M. [1985] Infinite fixed-point algebras Proc. AMS and ASL Summer Institute on Recursive Theory (Ithaca, New York), Lect. Notes in Math. 42, 473-486, Springer-Verlag 86.02.73 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K. [1986] Inhomogeneities in the polynomial-time degrees: the degrees of supersparse sets Inf. Process. Letters, 22, № 3, 113-117 86.Г8.308 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Pour-El M.B., Howard W.A. [1964] A structural criterion for recursive enumeration without repetitions Z. math. Logik und Grundl. Math., 10, № 2, 105-114 65.09.59 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Freivalds R.V. [1975] Minimal Godel numbers and their identification in the limit Lect. Notes in Comp. Sci., 32, 219-225, Springer -Verlag 76.B4.521 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Machtey M. [1975] Helping and the meet of pairs of honest subrecursive classes Inform. and Control, 28, № 1, 76-89 75.В11.432 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Harrington L. A. [2002] On the definability of the double jump in the computably enumerable sets J. Math. Logic, 2, № 2, 261-296 ? S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kalimullin J.Sh. [2003] Definability of the jump operator in the enumeration degrees J. Math. Logic, 3, № 2, 257-267 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nerode A., Remmel J.B. [1990] Complexity theoretic algebra: vector space bases, I: vector spaces over finite fields Progr. Comput. Sci. Appl. Logic, 9, 293-319 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cenzer D., Jockusch C.G. Jr. [2000] Π 1 0 classes – structure and applications Contemporary Math., 257, 39-59 03.05.27 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Harrow K. [1979] Equvalence of some hierarchies of primitive recursive functions Z. math. Logik und Grundl. Math., 25, № 5, 411-418 80.05.60 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Becker H., [1988] A characterization of jump operators J. Symbolic Logic, 53, № 3, 708-728 89.07.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Semenov A.L. [1984] Decidability of monadic theories Lect. Notes in Comp. Sci., 176, 162-175, Springer -Verlag 85.04.78 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.