Аннотация:
Получены оценки алгоритмической сложности классов разрешимых автоустойчивых моделей и вычислимых, имеющих сильную конструктивизацию и автоустойчивых относительно сильных конструктивизаций.
Образец цитирования:
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей”, Вестн. НГУ. Сер. матем., мех., информ., 13:4 (2013), 43–67; J. Math. Sci., 205:3 (2015), 368–388
\RBibitem{GonMar13}
\by С.~С.~Гончаров, М.~И.~Марчук
\paper Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей
\jour Вестн. НГУ. Сер. матем., мех., информ.
\yr 2013
\vol 13
\issue 4
\pages 43--67
\mathnet{http://mi.mathnet.ru/vngu313}
\transl
\jour J. Math. Sci.
\yr 2015
\vol 205
\issue 3
\pages 368--388
\crossref{https://doi.org/10.1007/s10958-015-2253-4}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/vngu313
https://www.mathnet.ru/rus/vngu/v13/i4/p43
Эта публикация цитируется в следующих 9 статьяx:
S. S. Goncharov, V. Harizanov, R. Miller, “On Decidable Categoricity and Almost Prime
Models”, Sib. Adv. Math., 30:3 (2020), 200
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций групп”, Сиб. матем. журн., 58:1 (2017), 95–103; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of the groups autostable relative to strong constructivizations”, Siberian Math. J., 58:1 (2017), 72–77
М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций структур с двумя отношениями эквивалентности”, Алгебра и логика, 55:4 (2016), 465–477; M. I. Marchuk, “Index set of structures with two equivalence relations that are autostable relative to strong constructivizations”, Algebra and Logic, 55:4 (2016), 306–314
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр”, Сиб. матем. журн., 56:3 (2015), 498–512; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of Boolean algebras autostable relative to strong constructivizations”, Siberian Math. J., 56:3 (2015), 393–404
С. С. Гончаров, Н. А. Баженов, М. И. Марчук, “Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков”, Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015), 51–60; S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “The index set of linear orderings that are autostable relative to strong constructivizations”, J. Math. Sci., 221:6 (2017), 840–848
Е. Б. Фокина, С. С. Гончаров, В. Харизанова, О. В. Кудинов, Д. Туретски, “Индексные множества n-разрешимых структур, категоричных относительно m-разрешимых представлений”, Алгебра и логика, 54:4 (2015), 520–528; E. B. Fokina, S. S. Goncharov, V. Harizanov, O. V. Kudinov, D. Turetsky, “Index sets for n-decidable structures categorical relative to m-decidable presentations”, Algebra and Logic, 54:4 (2015), 336–341
С. С. Гончаров, М. И. Марчук, “Индексные множества автоустойчивых относительно сильных конструктивизаций конструктивных моделей ограниченной сигнатуры”, Алгебра и логика, 54:2 (2015), 163–192; S. S. Goncharov, M. I. Marchuk, “Index sets of constructive models of bounded signature that are autostable relative to strong constructivizations”, Algebra and Logic, 54:2 (2015), 108–126
S. S. Goncharov, N. A. Bazhenov, M. I. Marchuk, “Index sets of autostable relative to strong constructivizations constructive models for familiar classes”, Dokl. Math., 92:2 (2015), 525
Н. А. Баженов, “Спектры автоустойчивости булевых алгебр”, Алгебра и логика, 53:6 (2014), 764–769; N. A. Bazhenov, “Autostability spectra for Boolean algebras”, Algebra and Logic, 53:6 (2015), 502–505
Цитирование в формате AMSBIB
Обратная связь: