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
Stob M. [1982] Index sets and degrees of unsolvability J. Symbolic Logic, 47, № 2, 241-248 83.01.23 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Stob M. [1983] wtt -degrees and T -degrees of r. e.sets J. Symbolic Logic, 48, № 4, 921-930 84.09.28 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Knight J. F., Stob M. [2000] Computable Boolean algebras J. Symbolic Logic, 65, № 4, 1605-1623 01.09.307 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Stob M. [1993] Splitting theorems in recursion theory Ann. Pure Appl. Logic, 65, № 1, 1-106 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Stob M. [1991] Jumps of hemimaximal sets Z. math. Logik und Grundl. Math., 37, № 2, 113-120 92.09.64 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Stob M. [1997] Minimal pairs in initial segments of the recursively enumerable degrees Israel J. Math., 100, 7-27 ? S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Stob M. [1993] Friedberg splittings of recursively enumerable sers Ann. Pure Appl. Logic, 59, № 3, 175-199 94.06.95 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Stob M. [1986] Structural interactions of the recursively enumerable T - and W -degrees Ann. Pure Appl. Logic, 31, № 8, 205-236 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Maass W., Shore R.A., Stob M. [1981] Splitting properties and jump classes Israel. J. Math., 39, № 3, 210-224 82.06.55 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Stob M. [1982] Invariance of properties under automorphisms of the lattice of recursively enumerable sets Pacif. J. Math., 100, № 2 , 445-471 83.01.31 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Stob M. [1992] Automorphisms of the lattice of recursively enumerable sets: Orbits Adv. in Math., 92, № 2, 237-265 94.02.274 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. , 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.Soare R.I., Stob M. [1982] Relative recursive enumerability Proc. Herbrand Symp. Logic (Marseilles, 1981), Studies Logic and the Foundations of Math., 107, 229-324, North-Holland ? S 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. [1996] Array nonrecursive sets and genericity London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 93-105 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Downey R. G., Stob M. [1992] Automorphisms of the lattice of recursively enumerable sets: promptly simple sets Trans. Amer. Math. Soc., 332, № 2, 555-570 93.05.118 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Maass W., Stob M. [1983] The intervals of the lattice of recursively enumerable sets determined by major subsets Ann. Pure Appl. Logic, 24, № 2, 189-212 84.03.83 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Stob M. [1985] Major subsets and the lattice of recursively enumerable sets Proc. Summer Institute on Recursive Theory (Ithaca, New York), 42, Amer. Math. Soc., Ass. Symbolic Logic, 107-116 86.03.58 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Smullyan R.M. Soare R. I. SolomonDR SolomonR Solon B. Solovay R.M. Sorbi A. SoskovIN SoskovaAA SoskovaMI Spector C. Sperschneider V. Spreen D. Stanley L. Stearns R.E. Steel J.R. Stefani S. Stephan F. Stephen B. Stewart F.M. Steyaert J.M. Stillwell J. Stob M. Stockmeyer L.J. Stoltenberg-Hansen V. StrongHR Sturgis H. E. Su Kaile Surányi J. Suzuki Y. Szmielew W. Вернуться на главную страницу
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.