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
Jockusch C.G. Jr., Lakins T. [2002] Generalized r -cohesiveness and the arithmetical hierarchy: A correction to “Generalized cohesiveness” by Hummel T., Jockusch C.G. Jr. J. Symbolic Logic, 67, № 3, 1078-1082. 05.08.100 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1968] Uniformly introreducible sets J. Symbolic Logic, 33, № 4, 521-536 69.07.72 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Soare R.I. [1973] Encodability of Kleene’s O J. Symbolic Logic, 38, № 3, 437-440 74.07.119 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1989] Degrees of functions with no fixed-points Log. Phil. Meth. Sci., 8, 191-201 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. ,Jr. [1972] Ramsey’s theorem and recursion theory J. Symbolic Logic, 37, № 2, 268-280 73.03.74 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1973] A reducibility arising from Boone groups Math. Scand. 31, № 2, 262-266 74.02.61 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Owings J.C. [1990] Weakly semirecursive sets J. Symbolic Logic, 55, № 2 , 637-644 91.06.52 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hummel T., Jockusch C.G. Jr. [1999] Generalized cohesiveness J. Symbolic Logic, 64, № 2, 489-516 01.11.77 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1975] Recursiveness of initial segmens of Kleene’s O Fund. Math., 87, № 2, 161-167 75.12.51 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1969] The degrees of hyperhyperimmune sets J. Symbolic Logic, 34, № 3, 489-493 70.05.64 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1969] Relationships between reducibilities Trans. Amer. Math. Soc., 142 , № 8, 229-237 70.06.80 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1973] Upward closure and cohesive degrees Israel J. Math., 15, № 3, 332-335 74.06.115 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.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.Jockusch C.G. Jr. [1974] Π 1 0 classes and Boolean combinations of recursively enumerable sets J. Symbolic Logic, 39, № 1, 95-96 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G.Jr., Kastermans B.,Lempp S., Lerman M., Solomon D.R. [2009] Stability and posets J. Symbolic Logic, 74, № 2 , 693-711 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Soare R.I. [1971] A minimal pair of Π 1 0 classes J. Symbolic Logic, 36, № 1, 66-78 72.01.100 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Coles R. J., Downey R. G., Jockusch C.G. Jr. LaForte G. [2005] Completing psevdojump operators Ann. Pure Appl. Logic, 136, № 3, 297-333. ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1968] Semirecursive sets and positive reducibility Trans. Amer. Math. Soc., 131, № 2, 420-436 71.04.56 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hummel T., Jockusch C. G. Jr. [2001] Ramsey’s theorem for computably enumerable colorings J. Symbolic Logic, 66, № 2 , 873-880. 09.10.117 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Posner D. B. [1978] Double jumps of minimal degrees J. Symbolic Logic, 43 , № 4, 715-724 79.09.53 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cohen P.F., Jockusch C. G. Jr. [1975] A lattice property of Post’s simple sets Ill. J. Math. 19 , № 3, 450-453 77.04.56 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Soare R.I. [1973] Post's problem and his hypersimple set J. Symbolic Logic, 38, № 3, 446-452 74.07.119 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Shore R.A. [1983] Pseudo-jump operators I: the r. e. case Trans. Amer. Math. Soc., 275, № 2, 599-609 83.10.48 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., McLaughlin T.G. [1969] Countable retracing functions and Π 2 0 predicates Pacif. J. Math., 30, № 1 ,67-93 70.04.82 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1985] Genericity for recursively enumerable sets Lect. Notes in Math., 1141, 203-232, Springer-Verlag 86.04.47 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1977] Simple proofs of some theorems on high degrees Canad. J. Math., 29, № 5, 1072-1080 78.04.54 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ash C.J., Jockusch C. G. Jr., Knight J.F. [1990] Jumps of orderings Trans. Amer. Math. Soc., 319, № 2, 573-599 91.04.71 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Solovay R.M. [1977] Fixed-points of jump-preserving automorphisms of degrees Israel. J. Math., 26, № 1, 91-94 77.07.47 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Soare R.I. [1972] Degrees of members of Π 1 0 classes Pacif. J. Math. 40 , № 3 , 605-616 72.12.49 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Lewis A., Remmel J.B. [1991] Π 1 0 classes and Rado’s selection principle J. Symbolic Logic, 56, № 2, 684-693 92.08.51 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Füredi Z., Jockusch C. G. Jr., Rubel L. [1998] Difference sets and computability theory Ann. Pure Appl. Logic, 93, № 1, 63-72 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Soare R.I. [1970] Minimal covers and arithmetical sets Proc. Amer. Math. Soc., 25 , № 4, 856-859 71.08.58 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Jockusch C.G. Jr. [1999] Effective presentability of Boolean algebras of Cantor-Bendixson rank 1 J. Symbolic Logic, 64, № 1, 45-52 00.12.229 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Paterson M. S. [1976] Completely autoreducible degrees Z. math. Logik und Grundl. Math., 22, № 6, 571- 575 77.12.43 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Posner D. B. [1981] Automorphism bases for degrees of unsolvability Israel J. Math., 40, № 2, 150- 164 82.09.45 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1972] Degrees in which the recursive sets are uniformly recursive Canad. J. Math., 24, № 6, 1092 -1099 73.07.94 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1980] Degrees of generic sets London Math. Soc. Lect. Notes Cambridge Univ. Press, 45, 110-139 81.03.49 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1973] An application of Σ 4 0 -determinacy to the degrees of unsolvability J. Symbolic Logic, 38, № 2, 293-294 74.06.118 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1981] Three easy constructions of recursively enumerable sets Lect. Notes in Math.,859, 83-91, Springer-Verlag 82.02.54 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Jockusch C.G. Jr. , Miller J. S. [2006] On self –embedding of computable linear orderings Ann. Pure Appl. Logic, 138, № 1-3, 52-76. ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Soare R.I. [1994] Boolean algebras, Stone spaces and the iterated Turing jump J. Symbolic Logic, 59, № 4, 1121-1138. 96.04.210 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Li A. [2006] Restricted jump interpolation in the dce degrees Math. Struc. Comp. Sci., 16, № 5, 841-865 10.ВН2.82 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1980] Fine degrees of word problems of cancellation semigroups Z. math. Logik und Grundl. Math., 26, № 1 , 93-95. 80.09.187 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Jockusch C.G. Jr. , Stob M. [1990] Array nonrecursive sets and multiple permitting arguments Lect. Notes in Math., 1432, 141-173, Springer-Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Jockusch C.G. Jr. [1987] T -degrees, jump classes and strong reducibilities Trans. Amer. Math. Soc., 301, № 1, 103-136 88.01.34 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Simpson S.G. [1976] A degree-theoretic definition of the ramified analytical hierarchy Ann. Math. Logic, 10, № 1, 1-32 77.03.56 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.