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
Файзрахманов М.Х. [2010] Разложимость низких 2-вычислимо перечислимых степеней и тьюринговы степени в иерархии Ершова. Изв. вузов, Мат., № 12, 58-66 11.03.73 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Harizanov V. S., Kummer M., Owings J. C. [1992] Frequency computations and the cardinality theorem J. Symbolic Logic, 57, № 2, 682-687 93.04.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А.И. [1959] Регулярные произведения моделей Изв. АН СССР, сер. мат., 23, № 4, 489-502 60.12555 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson J. [1968] Recursive functions of one variable Proc. Amer. Math. Soc., 19, № 4, 815-820 71.08.55 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cholak P., Downey R. G. , Greenberg N. [2008] Strong jump- traceability, I. The computable enumerable case Adv. in Math., 217, № 5, 2045-2074 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Robinson R.W. [1967] Two theorems on hyperhypersimple sets Trans. Amer. Math. Soc., 128, № 3, 531- 538 68.07.79 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Eisenberg E.F., Remmel J.B. [1982] Effective isomorphisms of algebraic structures Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 95-122 84.03.421 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Солон Б.Я. [1977] Сводимости по перечислимости и e -интерсводимые множества Иванов. ун-т, деп. № 2999-77 77.12.46 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Денисов С.Д. [1974] Три теоремы об элементарных теориях и tt -сводимости Алгебра и логика, 13, № 1, 5-8 ? OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Giusto M., Simpson S.G. [2000] Located sets and reverse mathematics J. Symbolic Logic, 65, № 3, 1451-1480 05.01.26 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kechris A.S. [1991] Amenable equivalence relations and Turing degrees J. Symbolic Logic, 56, № 1, 182-194 92.10.24 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Appel K.I. [1967] There exist two regressive sets whose intersection is not regressive J. Symbolic Logic, 32 , № 3, 322-324 68.02.76 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ершов Ю.Л. [1964] Неразрешимость теорий симметрических и простых конечных групп, ДАН СССР, 158, № 4, 777-779 65.03.372 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Адян С.И. , Новиков П.С. [1958] Проблема тождества для полугрупп с односторонним сокращением Z. Math. Logik und Grundl. Math., 4, № 1, 66-88 59.4361 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Солон Б.Я. [1978] e -степени гипериммунных ретрассируемых множеств Сибирск. матем. журнал, 19, № 1, 172-179 78.06.68 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Поляков Е.А. [1998] О минимальных m -степенях Мат. заметки, 63, № 5, 795-797 00.08.45 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Нуртазин А.Т. [1974] Сильные и слабые конструктивизации и вычислимые семейства Алгебра и логика, 13, № 3, 311-323. 75.04.103 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yuefei Sui [1987] Some results about the r.e. degrees Acta Math. Sinica, 3, 170-179 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Maass W. [1986] Are recursion theoretic arguments useful in complexity theory ? Proc. VII Inter. Congress Logic, Methdology Philosophy Sci., (Salzburg, 1983), North-Holland, 141-158 87.02.34 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kaphengst H. [1969] Malzew-Räume, ein allgemeiner Begriff der rekursiven Abbildung Z. math. Logik und Grundl. Math., 15, № 1, 63-76 69.12.139 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hirschfeldt D. R. [2002] Degree spectra of relations on computable structures in the presence of Δ 2 0 isomorphisms J. Symbolic Logic, 67, № 2, 697-720 05.05.111 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Касымов Н.Х. [1993] Нумерованные алгебры с равномерно рекурсивно отделимыми классами Сибирск. матем. журнал, 34, № 5, 85-102, 237 94.04.55 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.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.Добрица В.П. [1994] О вычислимости множества вычислимых индексаций класса конструктивных моделей Мат. заметки, 55, № 5, 43-50 94.12.56 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shoenfield J.R. [1996] Priority constructions Ann. Pure Appl. Logic, 81, № 1-3, 115-123 98.02.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ding Decheng [1992] The distribution of the generic recursively enumerable degrees Arch. Math. Log., 32, № 2, 113-135 94.01.42 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hartmanis J., Hopcroft J. [1971] An overview of the theory of computational complexity J. Ass. Comput. Mach., 18, № 3, 444-475 (Русский превод в Кибернет. сборнике, 1974, 11, 134-176.) ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schinzel B. [1980] Zerlegung mit Vergleichsbedingungen einer Gödel numberierung Z. math. Logik und Grundl. Math., 26, № 3, 215-226 81.02.49 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.McLaughlin T.G. [1973] On retraceable sets with rapid growth Proc. Amer. Math. Soc., 40, № 2, 573-576 74.06.121 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1986] О табличных сводимостях индексных множеств Сибирск. матем. журнал, деп. № 4682-В 86.10.50 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Хисамиев А.Н. [2004] О верхней полурешетке Ершова S E Сибирск. матем. журнал, 45, № 1, 211-228 04.08.270 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Cooper S.B. [1990] The jump is definable in the structure of the degrees of unsolvability, Bull. Amer. Math. Soc., 23, № 1, 151-158 91.09.46 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Касымов Н. Х. [1992] Позитивные алгебры со счетной решеткой конгруенций Алгебра и логика, 31, № 1, 12-23 93.06.268 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1984] Индексныe мнoжествa в гипеpapифметиuескoй иеpapхии Сибирск. матем. журнал, 25, № 3, 1б4-l81 84.10.34 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Aloisio P. [1971] Uno nota sulle funzioni ricorsive Ann. Univ. Ferrara, 16, № 11, 167-168 72.04.87 E article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ng Keng Meng [2008] On very high degrees J. Symbolic Logic, 73, № 1, 309-342 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M., Sacks G.E. [1972] Some minimal pairs of α-recursively enumerable degrees Ann. Math. Logic, 4, № 4, 415-442 73.04.87 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ершов Ю.Л. [1968] Элементарные теории полей Межд. конгресс математиков, (Москва, 1966), М., Мир, 1968, 143-145 ? статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Sorbi A. [1997] The enumeration degrees of the Σ 2 0 sets Complexity, Logic and Recursion Theory, Lecture Notes Pure and Applied Mathematics, 303-330 ?; O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kalantari I. [1982] Major subsets in effective topology Proc. Patras Logic Symp. (Patras, Greece, 1980), North-Holland, 77-94 ? S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T. [1976] An α-finite injury method of the unbounded type J. Symbolic Logic, 41, № 1, 1-17 76.12.82 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M., Soare R.I. [1980] d -simple sets, small sets, and degree classes Pacif. J.Math., 87, № 1, 135-155 81.03.51 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Успенский В.А. [1969] О сводимости вычислимых и потенциально вычислимых нумераций Мат. заметки, 6, № 1, 3-9 69.12.136 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G. [1984] Some remarks on a theorem of Iraj Kalantari concerning convexity and recursion theory Z. math. Logik und Grundl. Math., 30, № 4, 295-302 85.03.38 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Badaev S.A. [2006] On Rogers semilattices Lect. Notes in Comp. Sci., 3959, 704-706, Springer -Verlag ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Haught C. A. [1987] Lattice embeddings in the recursively enumerable truth table degrees Trans. Amer. Math. Soc., 301, № 2, 515-535 88.01.38 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Maass W., Slaman T.A. [1992] Splitting and density for the recursive sets of a fixed time complexity Proc. Conf. “Logic from computer science”, (Berceley, 1989), Math. Sci. Res. st. Publ., 21, 359-372, Springer. 93.ВН7.112 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Цинман Л.Л. [1965] О базисах примитивно рекурсивно замкнутых классов функций ДАН СССР, 170, № 1, 45-48 67.01.68 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Шкира В.В. [1973] Об универсальных функциях для некоторых классов рекурсивных функций и множеств Труды Мат. ин-та АН СССР, 133, 243-250 74.01.99 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Eilenberg S. Elgot C. C. [1968] Iteration and recursion Proc. Nat. Acad. Sci., USA, 61, № 2, 378-379 69.05.66 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.