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
Ershov Yu.L. [1971] La theorie des enumerations Actes Congress Inter. Math., (Nice, 1970), v.1, Paris, Gauthier-Villars, 223-227 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Трахтенброт Б.А. [1953] О рекурсивной отделимости ДАН СССР, 88, № 6, 953-956 53.13 O статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Homer S. [1980] Two splitting theorems for beta-recursion theory Ann. Math. Logic, 18, № 2, 137-151 80.12.41 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Насибуллов Х.Х. [1968] О рекурсивных функциях большого размаха ДАН СССР, 178, № 3, 539-541 68.07.77 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Mourad J. [1990] Superbranching degrees Lect. Notes in Math., 1432, 175-186, Springer-Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lachlan A.H. [1964] Effective operations in a general setting J. Symbolic Logic, 29, № 4, 163-178 65.10.61 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ash C.J., Knight J.F., Manasse M., Slaman T.A. [1989] Generic copies of countable structures Ann. Pure Appl. Logic, 42, № 3, 195-205 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nies A. [2008] Eliminating concepts Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 225-248 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дегтев А.Н. [1972] Об m -степенях простых множеств Алгебра и логика, 11, № 2, 130-139 72.11.36 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thurber J. J. [1994] Recursive and recursively enumerable quotient Boolean algebras Arch. Math. Logik Grundl., 33, № 2, 121-129 94.12.43 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Soskova A. A. [2005] Properties of co-spectra of joint spectra of structures Ann.Univ. Sofia, Fac. Math., Inform., 97, 23–40 07.05.123 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson R.W. [1968] A dichotomy of the recursively enumerable sets Z. math. Logik und Grundl. Math., 14, № 4, 339-356 69.08.84 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ash C.J., Knight J.F. [1997] Possible degrees in recursive copies, II Ann. Pure Appl. Logic, 87, № 2, 151-165 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M., Калимуллин И.Ш., Купер С.Б. [2003] Свойства разложения тотальных степеней по перечислимости Алгебра и логика, 42, №1, 3-25 04.05.85 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Вьюгин В.В. [1972] О дискретных классах рекурсивно перечислимых множеств Алгебра и логика, 11, № 3, 243-256 73.03.75 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Simpson S.G. [1980] The hierarchy based on the jump operator Proc. “The Kleene Symposium”, (Madison, Wisconsin , USA, 1979), North-Holland, 203-212 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1962] On Posr’s canonical systems J. Symbolic Logic, 27, № 1, 55-57 63.11.47 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [1993] The theories of the T , tt and wtt r.e. degrees: undecidability and beyond Proc IX Latin. Amer. Symp. Math. Logic (Bahia Blanca, Argentina, 1992), Notas de Lo’gica Math, 38, Univ. Nac. del Sur, 61-70 95.11.52 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Szmielew W. [1955] Elementary properties of Abelian groups Fund. Math., 41, № 2, 203-271 57.2074 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Grassin J. [1974] Index sets in Ershov’s hierarchy J. Symbolic Logic, 39, № 1, 97-104 75.03.89 ES article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Палютин Е.А. [1975] Дополнение к статье Ю.Л.Ершова "Верхняя полурешетка нумераций конечного множества" Алгебра и логика, 14 , № 3, 284-287 ? OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Подзоров С.Ю. [2007] Универсальная лахлановская полурешетка без наибольшего элемента Алгебра и логика, 46, № 3, 299-345 08.03.68 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Barmpalias G., Cooper S.B., Lewis A. ? Minimal pairs and the Slaman-Soare phenomen In prepar. ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ишмухаметов Ш.Т. [1990] Одна теорема о разностях рекурсивно перечислимых множествах Изв. Вузов. Мат., деп. № 2423-В90 90.08.35 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kent T.F. [2006] The Π 3 -theory of the Σ 2 0 -enumeration degrees is undecidable J. Symbolic Logic, 71, № 4, 1284-1302 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Bennison V.L., Soare R.I. [1978] Some lowness properties and computational complexity sequences Theor. Comput. Sci., 6, № 3, 233-254 78.B11.1096 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ершов Ю.Л. [1965] Об элементарной теории максимальных нормированных полей Алгебра и логика, 4, № 3, 31-70 66.07.253 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Soare R.I. [1980] Fundamental methods for constructing recursively enumerable degrees London Math. Soc. Lect. Notes, Cambridge Univ. Press, 45, 1-51 81.04.56 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nies A. [2003] Parameter definability in the r.e. degrees J. Math. Logic, 3, № 1, 37-65 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B. [2002] On the intensionality of Turing definitions Proc. Inter. Conf. “Logic and Its Appl.”, devoted to Yu. Ershov and A.I. Mal’cev, (Novosibirsk, 2002), Novosibirsk, NSU, 40-58 05.11.115 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Groszek M. J., Hummel T. [1998] Σ 2 0 -constructions and I Σ 1 Ann. Pure Appl. Logic, 93, № 1-3, 83-101 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [1982] Finitely generated codings and the degrees r. e. in a degree d Proc. Amer. Math. Soc., 84, № 2, 256-263 82.10.42 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Brown D.K., Giusto M., Simpson S.G. [2002] Vitali’s theorem and WWKL Arch. Math. Logik Grundl., 41, № 2, 191-206 04.11.108 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Стукачев А.И. [2008] О степенях представимости моделей, II Алгебра и логика, 47, № 1, 108-126 08.12.140 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1991] Базисы по суперпозиции в классах рекурсивных функций Матем. вопросы кибернетики, в.3, 115-139 91.10.36 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дичев А. [1983] О m -эквивалентности декартовых степеней множеств натуральных чисел Сердика. Бълг. мат. списание , 9. № 1, 43-48 84.02.44 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Pour-El M. B. [1964] Godel numberings versus Priedberg numberings Proc.Amer. Math. Soc., 15, № 2, 252-256 65.05.45 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Harrington L. A. [2008] Extension theorems, orbits, and automorphisms of the computable enumerable sets Trans. Amer. Math. Soc., 360, № 4, 1759-1791 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ash C.J., Downey R. G. [1984] Decidable subspaces and recursively enumerable subspaces J. Symbolic Logic, 49, № 4, 1137-1145 85.08.57 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hugill D. [1969] Initial segments of Turing degrees Proc. London Math. Soc. 19, № 1, 1-15 69.07.71 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дегтев А.Н. [1979] О сводимостях табличного типа в теории алгоритмов Успехи мат. наук, 34, № 3, 137-168 79.10.44 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Simpson S.G. [1980] Degrees of unsolvability: a survey results Handbook of Mathematic Logic, p.D, North-Holland, 631-652 (Русский перевод в Справочной книге по математической логике, ч. III , (Ершов Ю.Л. –ред.), М., Наука, 1982, 112-133.) ? S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дроботун Б.Н. [1977] О нумерациях простых моделей Сибирск. матем. журнал, 18, № 5, 1002-1004 78.04.91 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ritter W. [1966] Notation systems and an effective fixed point property Proc. Amer. Math. Soc., 17, № 2, 390-395 67.01.87 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Важенин Ю.М. [1987] Алгоритмические проблемы и иерархии языков первого порядка Алгебра и логика, 26, № 4, 419-434 88.07.80 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ишмухаметов Ш.Т. [2002] О вложении счетных порядков в тьюринговы степени Мат. заметки, 72, № 5, 682-687 03.07.119 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [2002] Computability structures: presentations matter Proc. XI Inter. Congress Logic, Methodology, Philosophy Sci., (Cracow, 1999), Kluwer Acad. Publishers, v.1, 81-95 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M., Remmel J. [1984] The universal splitting properties, II J. Symbolic Logic, 49, № 1, 137-150 84.12.47 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дзгоев В.Д. [1982] Конструктивизация прямых произведений алгебраических систем Алгебра и логика, 21, № 2, 138-148 83.06.130 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mohrherr J. [1983] A conjecture of Erschov for a relative hierarchy fails near Algebra and Logic, 22, № 2, 232-235 84.05.75 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.