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
Ершов Ю.Л. [1972] Всюду определенные непрерывные функционалы Алгебра и логика, 11, № 6, 656-665 73.08.49 E статья Вернуться к поиску
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.Трахтенброт Б.А. [1973] Частотные вычисления Труды Мат. ин-та АН СССР, 133.221-232 74.01.98 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Костырко В.Ф. [1965] К проблеме разрешимости для случая Аккермана Сибирск. матем. журнал, 6, № 2, 342-363 65.10.68 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Эффективная неотделимость множества тождественно истинных формул и конечно опровержимых формул некоторых теорий Алгебра и логика, 2, № 1, 5-19 64.01.112 O статья Вернуться к поиску
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.Перетятькин М.Г. [1973] Каждое рекурсивно перечислимое расширение теории линейного порядка имеет конструктивную модель Алгебра и логика, 12, № 2, 211-219 74.02.106 G статья Вернуться к поиску
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.Тайцлин М.А. [1962] Неразрешимость элементарной теории коммутативных полугрупп с сокращением Сибирск. матем. журнал, 3, № 2, 308-309 62.09.52 статья Вернуться к поиску
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.Колганов Н. [1978] О тождествах в одной алгебре рекурсивных функций Сб. Рекурсивные функций, Иваново, 27-36 79.07.79 статья Вернуться к поиску
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.Новиков П.С. [1954] Неразрешимость проблемы сопряженности в теории групп Изв. АН СССР, сер. мат., 18, № 6, 485-524 55.2521 O статья Вернуться к поиску
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.Ишмухаметов Ш.Т. [1994] О разложении степени 0 / на меньшие T -степени, содержащие разности рекурсивно перечислимых множеств Изв. Вузов. Мат., 14, № 1, 12-16 95.03.43 статья Вернуться к поиску
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.Поляков Е.А., Насибуллов Х.Х. [1969] О некоторых рекурсивных схемах Уч. зап. Иван. пед. ин-та, 44, 6-10 70.01.72 статья Вернуться к поиску
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.Солон Б.Я. [1989] e -степени жестких множеств Изв. Вузов. Мат., № 12, 44-47 90.08.31 статья Вернуться к поиску
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.Марков А.А. [1947] О некоторых неразрешимых проблемах, касающихся матриц ДАН СССР, 57, № 6, 539-542 ~ статья Вернуться к поиску
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.Ершов Ю.Л. [1972] О соотношении сноп-пространств и нумерованных множеств со свойством C 2 * Сб. Исследования по конструктивной математике и математической логике, Зап. ЛОМИ АН ...
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.Насибуллов Х.Х. [1969] О рекурсивных функциях большого размаха Сибирск. матем. журнал, 10, № 1, 105-115 69.08.86 статья Вернуться к поиску
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.Матиясевич Ю.В. [1967] Простые примеры неразрешимых ассоциативных исчислений ДАН СССР, 173, № 6, 1264-1266 67.12.55. статья Вернуться к поиску
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.