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
Downey R. G., Moses M.F. [1991] Recursive linear orderings with incomplete successivities Trans. Amer. Math. Soc., 326, № 2, 653-668 92.07.53 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Марченков С.С. [1975] О существовании рекурсивно перечислимых минимальных табличных степеней Алгебра и логика, 14, № 4, 422-429 76.05.47 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Мальцев А. И. [1961] Неразрешимость элементарной теории конечных групп ДАН СССР, 138, № 4, 771-774 62.05.288. статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1991] Toнкaя иepapхия фopмyл Aлгебpa и лoгикa, 30, № 5, 568-582 92.11.72 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Белеградек О.В. [1978] m -степени проблемы равенства слов Сибирск. матем. журнал, 19, № 6, 1232-1236 79.04.230 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дегтев А.Н. [1970] Несколько замечаний о ретрассируемых, регрессивных и точечно- разложимых множествах Алгебра и логика, 9, № 6, 651-660 71.07.71 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Lachlan A.H., Soare R. I. [1998] Model arithmetic and subuniform bounds for the arithmetic sets J. Symbolic Logic, 63, № 1, 59-72 01.12.123 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Поляков Е.А. , Перов А.Е. [2003] F p -функции Мат. заметки, 74, № 4, 559-563 04.04.118 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T. [1984] Minimal α-hyperdegrees Arch. Math. Logik Grundl., 24, № 1-2, 63-71 84.12.45 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Goncharov S.S. [1998] Autostabe models and algorithmic dimension Handbook of Recursive Mathematics, v.1, 261-287, Elsevier ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Бадаев С.А. [1977] О позитивных нумерациях Сибирск. матем. журнал, 18, № 3, 483-496. 77.12.49 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Arslanov M.M., Cooper S.B., Kalimullin I.Sh.,Soskova M.I. [2008] Total degrees and nonsplitting properties of Σ 2 0 - enumeration degrees Lect. Notes in Comp. Sci., 4978, 568-578, Springer -Verlag ? , article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Добрица В.П. [1987] Классы с ограниченно эквивалентными индексациями Вычис. системы, 122, 59-72, Новосибирск 88.Г9.312 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yi Xiaoding [1996] A non-splitting theorem for α-r.e. sets Ann. Pure Appl. Logic, 82, № 1, 17-96 99.12.57 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Адян С.И. [1958] Об алгоритмических проблемах и эффективно полных классах групп ДАН СССР, 123, №.1, 13-16 59.5443 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Berry J. [1972] A note on immune sets Notre Dame J. Formal Logic, 13, № 1, 98-100 72.09.46 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Васильева И.З. [1996] Плотность решеток m -степеней условных проблем Сибирск. матем. журнал, 37, № 6, 1266-1268 97.08.71 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Дзгоев В.Д. [1988] Конструктивизация булевых решеток Алгебра и логика, 27, № 6, 641-648 89.11.207 G статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Moschovakis Y.N. [1971] Axioms for computation theories - first draff Logic Coll’69, North-Holland, 199-255 71.11.86 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Бокуть Л.А. [1968] Степени неразрешимости проблемы сопряженности для конечно-определенных групп. Алгебра и логика, 7, № 6, 4-52 69.10.29 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Yang Dong Ping [1987] The existence of minimal honest polynomial degrees below Chin. Quart. J. Math., 2, 21-26 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Schinzel B. [1979] Classes of decompositions of a Gödel numbering Math.Res., 2, 397-403 80.05.59 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Downey R. G., LaForte G., Lempp S. [1999] A Δ 2 0 set with barely Σ 2 0 degree J. Symbolic Logic, 64, № 4, 1700-1718 05.08.86 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Normann D. [1979] Degrees of functionals Ann. Math. Logic, 16, № 3, 269-304 80.05.52 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Sacks G.E., Slaman T.A. [1990] Generalized hyperarithmetical theory Proc. London Math, Soc., 60, № 3, 417-443 91.06.40 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Ash C.J., Nerode A. [1981] Functorial properties of algebraic closure and skolemization J. Austral. Math. Soc., A31, № 2, 136-141 82.04.112 G article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Mahaney S.R. [1986] Sparse sets and reducibilities Studies in Complexity Theory, J.Wiley and Sons, 63-118 ? O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Liu S.C. [1963] A note on many-one reducibility J. Symbolic Logic, 28, № 1, 35-42 66.03.57 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Валидов Ф.И. [1974] Об одном примере дискретного семейства общерекурсивных функций Сб. аспир. работ Казанск. ун-та, Казань, 155-161 75.08.106 E статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Fejer L., Shore R.A. [1988] Infima of recursively enumerable truth table degrees Notre Dame J. Formal Logic, 29, № 3, 420-437 ? OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.McLaughlin T.G. [1962] A note on contraproductive domains Math. Scand., 11 , № 2, 175-178 64.04.83 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Omanadze R. Sh. [2003] Quasi-degrees of recursively enumerable sets Computability and models: perspectives East and West, Kluwer Academic/Plenum Publishers, 289-319 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Hartmanis J., Stearns R.E. [1965] On the computational complexity of algorithms Trans. Amer. Math. Soc., 117, № 5, 285-306 (Русский перевод в Кибер. сборнике., 1967, 4.) 66.02.67 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jones J.P. [1980] Undecidable Diophantine equations Bull. Amer. Math. Soc., 3, № 2, 854-862 81.04.107 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Арсланов M.M. [1985] Семейства рекурсивно перечислимых множеств и их степени неразрешимости Изв. Вузов. Мат., 275, № 4, 13-19 85.10.60 S статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Davis M., Putnam H., Robinson J. [1961] The decision problem for exponential Diophantine equations Ann. Math., 74, № 3, 425-436 (Русский перевод в сб. Математика, 1964, 8, № 5, 69-79.) 62.06.58 RS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Калимуллин И.Ш., Пузаренко В.Г. [2004] О принципах вычислимости на допустимых множествах Труды ИМ СО РАН, 7, № 2, 35-71 07.07.127 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Соколов В.А. [1975] Об одной задаче в классе вычислимых функций с операцией суперпозиции Вестн. Ярос. ун-та, 9, 111-114 76.01.89 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Arslanov M.M. [2003] Truth-table complete computability enumerable sets Computability and models: perspectives East and West, Kluwer Academic/Plenum Publishers, 1-10 ? article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Солон Б.Я. [2000] e -иммунные множества Сибирск. матем. журнал, 41, № 3, 676-691 01.02.79 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.... Морозов А. С., Найт Дж. Ф., Ромина А. В., Харизанова В. С. [2005] Об автоморфных кортежах элементов в вычислимых моделях Сибирск. матем. журнал, 46, № 3, 523-532 07.05.125 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Chong C.T., Mourad K. J. [1990] The degree of a Σ n cut Ann. Pure Appl. Logic, 48, № 3, 227-235 91.04.103 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Knight J. F., Stob M. [2000] Computable Boolean algebras J. Symbolic Logic, 65, № 4, 1605-1623 01.09.307 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Селиванов В.Л. [1985] Об иерархии Ершова Сибирск. матем. журнал, 26, № 1, 134-149 85.07.71 OS статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Kent C.F., Hodgson B.R. [1982] An arithmetical characterization of NP Theor. Comp. Syst. Sci., 21, 255-267 82.B12.984 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Jockusch C.G. Jr. [1968] Uniformly introreducible sets J. Symbolic Logic, 33, № 4, 521-536 69.07.72 OS article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Солон Б.Я. [2005] Тотальные и ко-тотальные степени перечислимости Изв. Вузов. Мат., № 9, 60-68 09.03.142 статья Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Calhoun W., Slaman T.A. [1996] The Π 2 0 enumeration degrees are not dense J. Symbolic Logic, 61, № 4, 1364-1379 02.06.61 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Sanches L. [1978] Hyperenumeration reducibility Notre Dame J. Formal Logic, 19, № 3, 405-415 79.02.56 article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.Skolem T. [1954] Remarks on “elementary” arithmetic functions Kon. Nors. Vid., Sel., Forh., 27, № 6, 1-6 56.963 O article Вернуться к поиску
Path: Ivannikov Institute for System Programming of the Russian Academy of Sciences / Bibliography of Lavrov I.A.