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
Groszek M.J., Shore R.A. [1988] Initial segments of the degrees of constructability Israel J. Math., 63, 149-177 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Гончаров С.С, Доуни Р., Хиршвельд Д. [2003] Спектры степеней для отношений на булевых алгебрах Алгебра и логика, 42, № 2, 182-193 03.12.331 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Maass W., Slaman T.A. [1989] Extensional properties of sets of time bounded complexity Lect. Notes in Comp. Sci., 380, 318-326, Springer -Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B., Slaman T.A., Wainer S.S. [1996] Appendix: questions in recursive theory London Math. Soc. Lect. Notes, Cambridge Univ. Press, 224, 333-347 ? 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.Gerla G. [1979] Una generalizazione della gerarchia di Erschov Boll. Unione mat. ital., B16, № 2, 765-778 80.03.26 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Sacks G.E. [1976] Countable admissible ordinals and hyperdegrees Adv. in Math., 20, № 2, 213-262 77.01.35 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Хисамиев З.Г. [2007] Дистрибутивные решетки нумераций Алгебра и логика, 46, № 1, 83-102 08.01.206 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yang Dong Ping [1984] On the embedding of α-recursive presentable lattices into the α-recursive degrees below 0 / J. Symbolic Logic, 49, № 2, 488-502 85.01.49 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Selivanov V.L. [2009] Hierarchies and reducibilities on regular languages related to modulo counting Thеоr. infоrmatiсs and Appl., 41, № 1, 95-132 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Хусаинов Б.М., Шор Р. А. [2000] О решении проблемы Гончарова-Эша и проблемы спектра в теории вычислимых моделей ДАН СССР 371, № 1, 30-31 01.05.99 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kleene S.C. [1962] Turing-machine computable functionals of finite types, I Proc. I Iinter. Congress Logic, Methodology, Philosophy Sci., (Stanford, 1960), Stanford Univ. Press, 1962, 38-45 (Русский перевод в сб. “Математическая логика ...
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Silibovski S., Remmel J.B. [1987] The undecidability of the lattice of r.e. closed subsets of r.e. effective topological space Ann. Pure Appl. Logic, 35, № 2 , 193-203. 87.12.34 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Асатрян О.С. [1987] К T 0 ∪ T * теории копродуктивности, I Сибирск. матем. журнал, деп. № 2771-В87 87.08.33 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Friedberg R.M. [1958] Four quatifier completeness a Banach-Mazur functional not uniformly partial recursive Bull. Acad. Polon. sci., Ser. math., astron. et phys., 6, № 1 , 1-5 59.7671 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Лавров И.А. [1968] Ответ на один вопрос Янга Алгебра и логика, 7, № 2, 48-54 69.01.83 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Maass W. [1978] Fine structure theory of the constructible universe in α- and β-recursion theory Lect. Notes in Math., 669, 339-359, Springer-Verlag 79.07.66 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соловьев В.Д. [1976] Супергиперпростые множества Изв. Вузов. Мат., № 2, 108-110 76.11.77 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Haught C. A. [1994] Embedding lattice into the wtt -degrees below 0 / J. Symbolic Logic, 59, № 4, 1360-1382 95.08.76 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lachlan A.H. [1973] The priority method for the construction of recursively enumerable sets Lect. Notes in Math., 337, 299-310, Springer-Verlag 74.01.94 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Поляков Е.А. [1981] О частично рекурсивных функциях с рекурсивным графиком Сб. Алгебраические системы, Иваново, 174-175 83.03.63 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Catlin S. [1976] Ed -regressive sets of order n J. Symbolic Logic, 41, № 1, 146-157 77.01.49 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Richter W. [1965] Extensions of the constructive ordinals J. Symbolic Logic, 30, № 2, 193-211 68.11.79 R article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ахтямов Р.В. [1989] Несколько замечаний об индексных множествах канонически перечислимых семейств конечных множеств Изв. Вузов. Мат., № 2, 3-6 89.08.68 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1976] О нумерациях семейств общерекурсивных функций Алгебра и логика, 15, № 2, 205-226 76.11.84 EG статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Homer S. [1987] Minimal degrees for polynomial reducibilities J. Ass. Comput. Mach., 34, № 2, 480-491 88.Г9.302 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G. [1983] Nowhere simplicity in matroids J. Austral. Math. Soc., A35,№ 1, 28-45 83.B11.544 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Eршов Ю.Л. (и др. ред.) [1982], [1982], [1983], [1983] Справочная книга по математической логике, части I-IV М., Наука (Перевод книги Barwise J. (ed.), “Handbook of Mathematical Logic, parts A-D”, 1977.) 82.12.14; 83.03.28; 83.06.30; 83.08.29 SG книга Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yi Xiaoding ? Highness and the density property in the d-r.e. degrees ? ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Гуревич Ю.Ш. [1966] Проблема разрешения для узкого исчисления предикатов ДАН СССР, 166, № 3, 510-511 66.10.47 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1989] Пpимeнeния пpeдпoлных нyмepauий к степеням тaбличнoгo типa и индекcным множеcтвaм Aлгебpa и лoгикa, 28, № 1, 75-82 90.01.39 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lewis A. [2004] Minimal complements for degrees below 0 / J. Symbolic Logic, 69, № 4, 937-966 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jahn M.A. [1996] Σ 5 -completeness of index sets arising from the recursively enumerable Turing degrees Ann. Pure Appl. Logic, 79, № 2, 109-137 00.09.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T. [1989] Maximal sets and fragments of Peano Arithmetic Nagoya J. Math., 115, 165-183 90.06.79 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Downey R. G. [1990] Minimal degrees recursive in 1-generic degrees Ann. Pure Appl. Logic, 48, № 3, 215-225 91.04.69 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Семенов А.Л. [1986] Разрешающие алгоритмы для логических теорий Кибернет. и вычислит. тех., М., в.2, 134-146 86.09.55 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grzegorczyk A. [1974] Axiomatic theory of enumeration General Recursion Theory, II, Proc. Symp. (Oslo, 1974), 429-436 North Holland 75.06.112 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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.Дегтев А.Н. [1980] О сводимости нумераций Мат. сборник, 112, № 2, 207-219 80.10.33 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.