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
Nerode A., Remmel J.B. [1989] Complexity theoretic algebra, II: Boolean algebras Ann. Pure Appl. Logic, 44, № 1-2, 71-99 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Корольков Ю.Д. [1978] О семействах общерекурсивных функций с конечным числом предельных точек Алгебра и логика, 17 , № 2, 169-177 78.11.43 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [2007] Фактор алгебра размеченных лесов по отношению h -эквивалентности Алгебра и логика, 46, № 2, 217-243 07.ВН11.257 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ryan B.E. [1975] Co-cohesive sets Trans. Amer. Math. Soc., 202, № 2, 161-171 75.10.77 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Стукачев А.И. [2007] О степенях представимости моделей, I Алгебра и логика, 46, № 6, 763-788 08.09.111 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Soare R.I. [1977] Computational complexity, speedable and levelable sets J. Symbolic Logic, 42, № 4, 545-563 78.12.60 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Морозов А.С., Пузаренко В.Г. [2004] О Σ-подмножествах натуральных чисел Алгебра и логика, 43, № 3, 291–320 05.01.111 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Солон Б.Я. [1978] Квазиминимальные pF -степени Сб. Рекурсивные функции, Иваново, 85-98 79.07.68 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Пузаренко В.Г. [2009] Об одной сводимости на допустимых множествах Сибирск. матем. журнал, 50, № 5, 415-429 09.10.122 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hammond T. [2002] Congruence relations on lattices of recursively enumerable sets. J. Symbolic Logic, 67, № 2, 497-504 05.08.94 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Stockmeyer L.J. [1976] Polynomial time hierarchy Theor. Comput. Sci., 3, № 1, 1-22 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Лавров И.А. [1974] Некоторые свойства ретрактов нумерации Поста Алгебра и логика, 13, № 6, 662-675 75.08.87 ES статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hemachandra L.A. [1989] The strong exponential hierarchy collapses J. Comp. and Syst. Sci., 39, № 3, 299-322 90.ВН6.41 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Кобзев Г.Н. [1979] О tt -степенях рекурсивно перечислимых тьюринговых степеней, II Алгебра и логика, 18, № 4, 415-425 80.07.31 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Heller A. [1990] An existence theorem for recursion categories J. Symbolic Logic, 55, № 3, 1252-1268 91.04.63 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Afshari B., Barmpalias G., Cooper S.B. [2006] Immunity properties and n -c.e. hierarchy Lect. Notes in Comp. Sci., 3959, 694-703, Springer –Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kleene S.C. [1959] Recursive functionals and quantifiers of finite type, I Trans. Amer. Math. Soc., 91, № 1, 1-52 60.11181 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Badaev S.A., Goncharov S.S. [2000] Theory of numberings: open problems Contemporary Math., 257, 23-38 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Tarski, A., Mostowski A., Robinson R.M. [1953] Undecidable theories North-Holland 58.2684 SOR book Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lachlan A.H. [1976] Countable initial segments of the degrees of unsolvability J. Symbolic Logic, 41, № 2, 289-300 77.03.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Soare R.I. [1989] The recursively enumerable degrees have infinitely many-one types Ann. Pure Appl. Logic, 44, № 1-2 , 1-23 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Calude C., Istrate G., Zimand M. [1992] Recursive Baire classification and speedable functions Z. math. Logik und Grundl. Math., 38, № 2, 169-178 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Бадаев С.А. [1991] О слабо предполных позитивных эквивалентностях Сибирск. матем. журнал, 32, № 2, 166-169 91.09.47 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Feferman S. [1957] Degrees of unsolvability associated with classes of formalized theories J. Symbolic Logic, 22 , № 2, 161-175 58.4449 ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kleene S.C. [1944] On the form of the predicates in the theory of constructive ordinals Amer. J. Math., 66, № 1, 41-58 ~ article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.McLaughlin T.G. [1968] A theorem on intermediate reducibilities Proc. Amer. Math. Soc., 19, № 1, 87-90 68.09.61 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Owings J.C. [1967] Recursion, metarecursion and inclusion J. Symbolic Logic, 32, № 2, 173-178 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Downey R. G. [1994] Permutations and presentations Proc. Amer. Math. Soc., 122, № 4, 1237-1249 95.06.201 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Успенский В.А. [1953] Теорема Геделя и теория алгоритмов Успехи мат. наук, 8, № 4, 176-178 ~ статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Поляков Е.А. [1968] Некоторые вопросы теории рекурсивных функций Алгебра и логика, 7, № 2, 77-84 69.01.78 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Mourad K. J. [1992] Σ n -definability without Σ n -induction Trans. Amer. Math. Soc., 334, № 1, 349-363 93.11.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1959] The undecidability of algebraic rings and fields Proc. Amer. Math. Soc., 10, № 6, 950-957 61.03.234 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Greenberg N., Shore R.A., Slaman T.A. [2006] The elementary theory of the metarecursively enumerable degrees J. Math. Logic, 6, № 1, 380-397 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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.Cenzer D. [1977] Non-generable r.e. sets Lect. Notes in Comp.Sci.,56, 379-385, Springer -Verlag 79.06.62 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hartmanis J., Baker T.P. [1982] On simple Gödel numberings and translation SIAM . J. Comp., 4, № 1, 1-11 75.11.87 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Slaman T.A. [1985] Reflection and the priority method in E -recursion theory Lect. Notes in Math., 1141, 372-404, Springer-Verlag 86.05.65 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cannonito F.B., Finkelstein M. [1969] On primitive recursive permutations and their inverses J. Symbolic Logic, 34, № 4, 634-638 70.09.58 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Bentzien L., Fejer P.A., Merkle W., Stephan F. [1998] Collapsing polynomial-time degrees Lect. Notes in Logic., 13, 1-24, Springer -Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P. [1990] Boolean algebras and orbits of the lattice of r.e. sets modulo the finite sets J. Symbolic Logic, 55, № 2, 744-760 91.09.278 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1962] On the decision problem for algebraic rings Studies Math. Analysis and Related Topics, Stanford, Calif., Univ. Press, 297-304 65.03.373 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Чиквашвили Р.И. [1972] Об индексных множествах, связанных с функционалами Сооб. АН ГССР, 68, № 1, 21-24 73.03.72 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Калимуллин И.Ш. [2008] Почти вычислимо перечислимые семейства множеств Мат. сборник, 199, № 10. 33-40 09.10.116 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Putnam H. [1973] Recursive functions and hierarchies Amer. Math. Monthly, 80, № 6, Part 2, 68-86 74.01.91 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Selivanov V.L. [2010] On the Wadge reducibility of k -partitions Journal of Logic and Algebraic Programming, 79, № 1, 92-102 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Orlicki A. [1990] Some remarks on ω-powers of enumerated sets and their applications to ω-operations Z. math. Logik und Grundl. Math., 36, № 2, 149-161 91.04.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Young P.R. [1983] Some structural properties of polynomial reducibilities and sets in NP Proc. Symp. Struct. Comput., 15, 392-401 ? O 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.Mohrherr J. [1985] Density of a final segment of the truth-table degrees Pacif. J. Math., 115, № 2, 409-419 85.10.59 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yates C.E.M. [1971] A note on arithmetical sets of indiscernibles Logic Coll’69, North Holland, 443-451 71.11.95 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.