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
McLaughlin T.G. [1967] Splitting and decomposition by regressive sets, II Canad. J. Math., 19, № 2, 291-311 68.07.71 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Owings J.C. [1971] A splliting theorem for simple Π 1 1 sets J. Symbolic Logic, 36, № 3, 433-438 72.06.72 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kechris A.S. [1975] Coutable ordinals and the analytical hierarchy, I Pacif. J. Math., 60, № 1, 223-227 76.06.41 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ambos-Spies K., Shore R.A. [1993] Undecidability and 1-types in the recursively enumerable degrees Ann. Pure Appl. Logic, 24, № 1, 3-37 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Adleman L.M., Blum M. [1991] Inductive inference and unsolvability J. Symbolic Logic, 56, № 3, 891-900 92.05.53 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Комбарро Э.Ф. [2003] Вычислимые решения уравнений над эндоморфизмами негативных нумераций Сибирск. матем. журнал, 44, № 5, 1051-1062 04.05.86 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Selivanov V.L. [1994] Rесursivеness of omеga-opеrations Мath. Logiс Quarterly, 40, № 2, 204-206 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Фокина Е.Б. [2005] О сложности категоричных теорий с вычислимыми моделями Вестн. НГУ, Серия мат., мех., инфор., 5, № 2, 78-86 ? статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Душский В.А. [1969] Продолжение частично рекурсивных функций и функций с рекурсивным графиком Мат. заметки, 5, № 2, 261-267 69.08.78 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Цейтин Г.С. [1956] Относительно проблемы распознавания свойств ассоциативных исчислений ДАН СССР, 107, № 2, 209-212 57.3718 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Sacks G.E. [1971] On the reducibility of Π 1 1 sets Adv. in Math., 7, № 1, 57-82 72.05.52 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Каллибеков С. [1973] О табличных степенях рекурсивно перечислимых множеств Мат. заметки, 14, № 5, 697-702 74.03.49 EOS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Harrington L. A., Soare R.I. [1992] Games in recursion theory and continuity properties of capping degrees Proc. Workshop on set theory and the continuum, 39-62, Math. Sci. Research Inst., Berkeley ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дегтев А.Н. [2005] Об обобщениях понятия полурекурсивности Дискрет. мат. , 17, № 2, 144-149 05.Г11.131 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Thuraisingham M.B. [1988] Representation of one-one degrees by n -cylindriral decision problems Z. math. Logik und Grundl. Math., 34, № 6, 481-490 89.08.66 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schaeffer B. [1998] Dynamic notions of genericity and array noncomputability Ann. Pure Appl. Logic, 95, № 1-3, 37-69 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Гончаров С.С. [1976] Неавтоэквивалентные конструктивизации атомных булевых алгебр Мат. заметки, 19 , № 6, 853-858 76.10.199 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Поляков Е.А. [2001] О типах сходства и рекурсивном изоморфизме Сибирск. матем. журнал, 42, № 1, 149-152 05.08.04 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Binns S. [2003] A splitting theorem for the Medvedev and Muchnik lattices Math. Logic Quartely, 49, № , 327-335 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Венцов Ю.Г. [1994] Конструктивные модели регулярно бесконечной алгоритмической размерности Алгебра и логика, 33, № 2, 135-146 94.11.50 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Nies A. [1993] Interpreting true arithmetic in degree structures Lect. Notes in Comp. Sci., 713, 255-263, Springer -Verlag ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hay L. [1973] The class of recursively enumerable subsets of a recursively enumerable set Pacif. J. Math., 46, № 1, 167-183 74.01.93 EOS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Posner D. B. [1980] A survey of non-r.e. degrees ≤ 0 / London Math. Soc. Lect. Notes, Cambridge Univ. Press, 45, 52-109 81.03.48 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Burkard E., Lerman M., Wald K. [2003] Homomorphisms and quotients of degree structure Ann. Pure Appl. Logic, 123, № 1-3, 193-233 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Скордев Д. [1963] Изчислими и μ-рекурсивни оператори Изв. Мат. ин-та Бълг. АН, 7, 5-43 64.05.65 статья (болг.) Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дегтев А.Н., Иванов Д.И. [1999] Слабо комбинаторные селекторные мнжества размерности 3 Дискрет. мат. , 11, № 3, 126-132 00.В3.239 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Crossley J. N., Remmel J.B. [1983] Undecidability and recursive equivalence, I Proc. South. Asian Conf. on Logic, (Singapore, 1981), North-Holland, 37-53 ? G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fenner S. [1994] Almost weakly 2-generic sets J. Symbolic Logic, 59, № 3, 868-887 95.05.54 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Davis M. [1963] Extensions and corollaries of recent work on Hilbert’s tenth problem Ill. J. Math., 7, № 2, 246-250 (Русский перевод в сб. Математика , 1964, 8, № 5, 80-84.) 64.03.55 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Dekker J.C.E. [1965] Closure properties of regressive functions Proc. London Math. Soc., 14, № 2, 226-238 66.08.68 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hinman P.G. [1984] Finitely approximable sets Lect. Notes in Math., 1104, 233-258, Springer-Verlag 85.09.33 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Longo G. [1979] Ricorsivita’ nei tipi superiori: un’introduzione alle caratterizzazioni di Erschov ed Hyland Rend. sem . mat. Univ. politechn., Torino, 37, № 3, 1-29 80.12.49 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kleene S.C. [1936] General recursive functions of natural numbers Math. Ann., 112, № 5, 727-742 ~ ROS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., Hirschfeldt D. R, , Miller J. S., Nies A. [2005] Relativizing Chaitin’s halting probability J. Math. Logic, 5, № 2, 167-192 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Paterson M.S. [1970] Unsolvability in 3x3 matrices Studies. Appl. Math., 49, № 1, 105-107 70.07.324 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Непомнящий В.А. [1966] Об одном базисе для рекурсивно перечислимых множеств ДАН СССР, 170, № 6, 1262-1264 67.03.48 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Амстиславский В.И. [1966] Теоретико-множественные операции и рекурсивные иерархии ДАН СССР, 165, №.5, 995-998 66.12.64 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Borodin A. [1972] Computational complexity and the existence of complexity gaps J. Ass. Comp. Mach., 19, 158-174 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [1984] The arithmetical degrees are not elementarily equivalent to the Turing degrees Arch. Math. Logik Grundl., 24, № 3-4 , 137-139 85.07.69 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ершов Ю.Л. [1972] Об элементарных теориях групп ДАН СССР , 203, № 6, 1240-1243 72.08.295 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Spreen D. [2001] Representations versus numberings: on the relationship of two computability notions Theor. Comp. Sci. 263, 473-499 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ding Decheng [1993] Every p -generic r.e.degrees is meet-inaccessible Chin. Ann. Math., 14, № 5, 542-547 94.06.94 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lerman M. [1978] Lattices of α-recursively enumerable sets General Recursion Theory, II, Proc. Symp. (Oslo, 1977), 223-238, North Holland 79.07.72 S article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Florence J.B. [1975] On splitting an infinite recursively enumerable class Canad. J. Math., 27, № 5, 1127-1140 76.08.100 EO article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Shore R.A. [2008] Rigidity and biinterpretability in the hyperdegrees Proc. IMS Workshop "Computational Prospects of Infinity", (Singapore, 2005), Lect. Notes Series, 15, Institute Math. Sci., Nat. Univ. Singapore, 299-312 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1969] The degrees of hyperhyperimmune sets J. Symbolic Logic, 34, № 3, 489-493 70.05.64 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G. [1984] Bases of supermaximal subspaces and Steinitz systems, I J. Symbolic Logic, 49, № 4, 1146-1159 85.08.58 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Harrington L. A., Soare R.I. [1996] The Δ 2 0 -automorphism method and noninvariant classes of degrees J. Amer., Math. Soc., 9, № 3, 617-666 01.10.128 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Smullyan R.M. [1958] Undecidability and recursive inseparability Z. math. Logik und Grundl. Math., 4, № 2, 143-147 59.10732 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1990] О существовании бесконечных базисов по суперпозиции в некоторых классах одноместных функций Мат. заметки, 47, № 4, 55-62 90.10.37 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.