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
Kučera A. , Slaman T.A. [2006] Turing incomparability in Scott sets Proc. Amer. Math. Soc., 135, № 11, 3723-3731 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kummer M. [1990] Recursive numerations without repetition revisited Lect. Notes in Math., 1432, 255-275, Springer-Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Li A., Yang Yue [2004] A join theorem for the computably enumerable degrees Trans. Amer. Math. Soc., 356, № 7, 2557-2568 07.06.67 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.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 Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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 Вернуться к поиску
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.Kučera A. [1985] Measure, Π 1 0 classes and complete extensions of PA Lect. Notes in Math., 1141, 245-259, Springer-Verlag 86.05.70 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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.Kučera A. [1986] An alternative, priority-free solution to Post's problem Lect. Notes. in Comp. Sci., 233, 493-500, Springer -Verlag ? OS 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.Ambos-Spies K., Jockusch C.G. Jr., Shore R. A., Soare R. I. [1984] An algebraic decomposition of the recursively enumerable degrees and the coincidence of several degree classes with the promptly simple degrees Trans. Amer. Math. Soc., 281, № 1, 109-128 84.09. 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.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. [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.Kučera A. [1993] On relative randomness Ann. Pure Appl. Logic, 63, № 1, 61–67 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Liu S.C. [1960] An enumeration of the primitive recursive functions without repetition Tohoku Math. J., 12, № 3, 400-402 62.06.55 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Demuth O., Kučera A. [1987] Remark on 1-genericity, semigenericity and related concepts Comment. Math. Univ. Carol., 28, № 1, 85-94 87.09.42 O 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.Cholak P., Downey R. G., Fortnow L. Gasarch W. I., Kinber E. B,, Kummer M., Kurtz S. A., Slaman T.A. [1992] Degrees of Inferability Proc. V Ann. Conf. Comp. Learning Theory, 180-192 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A., Slaman T.A. [2001] Randomness and recursive enumerability SIAM J. Comput., 31, № 1, 199-211 ВН03.01.453 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. [1984] Pseudo-jump operators, II : transfinite iterations, hierarchies and minimal covers J. Symbolic Logic, 49, № 4, 1205-1236 85.09.32 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A., Terwijn S. [1999] Lowness for the class of random sets J. Symbolic Logic, 64, № 4, 1396-1402 09.10.120 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., Mohrherr J. [1985] Embedding the diamond lattice in the recursively enumerable truth-table degrees Proc. Amer. Math. Soc., 94, № 1, 123-128 86.02.299 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Lerman M., Soare R.I., Solovay R.M. [1989] Recursively enumerable sets modulo iterated jumps and extensions of Arslanov's completeness criterion J. Symbolic Logic, 54, № 4, 1288-1323 90.12.34 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1989] On the use of diagonally nonrecursive functions Logic Coll.'87, North Holland, 219-239 90.06.66 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Kučera A. [2000] Randomness in computability theory Contemporary Math., 257, 1-14 01.ВН12.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kummer M., Stephan F. [1996] On the structure of degrees of inferability J. Comp. and System Sci., 52, № 2, 214-238 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kummer M. [1995] Kolmogorov complexity and instance complexity of recursively enumerable sets SIAM J. Comput., 25, № 6, 1123-1143 97.ВН9.103 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Skolem T. [1923] Begründung der elementaren Arithmetik durch die rekurrierende Denkweise ohne Anwendung scheinbarer Veränderlichen mit unendlichem Ausdehnungsbereich Skrifter utgit av Videnskapsselskapet i Kristiania, I. Mathematisk-Naturvidenskabelig Klasse, № 6, 3-38 ~ O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr., Kalantari I. [1984] Recursively enumerable sets and van der Warden’s theorem on arithmetic progressions, Pacif. J. Math., 115, № 1, 143-153 85.08.62 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1987] An alternative view on priority arguments Proc. VIII Inter. Congress Logic, Methodology, Philosophy Sci., (Moscow, 1987), Moscow, 146 88.02.38 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kumabe M. [1991] Relative recursively enumeraility of generic degrees J. Symbolic Logic, 56, № 3, 1075-1084 92.06.50 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hâjek P., Kučera A. [1989] On recursion theory in I Σ 1 J. Symbolic Logic, 54, № 2, 576-589 90.06.82 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1988] On the role of 0 / in recursion theory Logic Coll.’86, North-Holland, 133-141 90.03.42 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1989] A note on initial segment below 0 / Comment. Math. Univ. Carol., 30, № 4, 779-781 90.08.33 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.Kummer M., Stephan F. [1993] Weak semirecursive sets and recursively enumerable ordering Ann. Pure Appl. Logic, 60, № 2, 133-150 94.05.79 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kučera A. [1982] On recursive measure of classes of recursive sets Comment. Math. Univ. Carol., 23, № 1, 117-121 82.08.51 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. [1985] REA operators, RE degrees and minimal covers Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 3-111 86.03.54 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Liu S.C. [1960] An example of general recursive well-ordering which is not primitive recursive Tohoku Math. J., 12, № 2, 233-234 62.05.86 E 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.... Kechris A.S. KentCF KentT Khoussainov B. M. Kierstead H. Kinber E. B. Kjos-Hanssen B. Kleene S. C. Kleinberg E.M. Klette R. Knight J.F. KoKI Kochen S. Kolaitis P.G. Kolmogorov A.N. Kontostathis K. Kramer R. Kreisel G. Kripke S. Kristiansen L. Krom M. Kučera A. Kudinov O.V. Kumabe M. Kumar R. Kummer M. Kurtz S.A. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.