|
|
Публикации в базе данных Math-Net.Ru
-
О спектрах разрешимой категоричности для почти простых моделей
Алгебра и логика, 62:4 (2023), 441–457
-
A note on joins and meets for positive linear preorders
Сиб. электрон. матем. изв., 20:1 (2023), 1–16
-
Об универсальных позитивных графах
Сиб. матем. журн., 64:1 (2023), 98–112
-
Минимальные обобщённо вычислимые нумерации и семейства позитивных предпорядков
Алгебра и логика, 61:3 (2022), 280–307
-
Об индексных множествах для классов позитивных предпорядков
Алгебра и логика, 61:1 (2022), 42–76
-
Спектры пунктуальной категоричности вычислимо категоричных структур
Алгебра и логика, 60:3 (2021), 335–343
-
Вычислимые вложения для пар линейных порядков
Алгебра и логика, 60:3 (2021), 251–285
-
HKSS-completeness of modal algebras
Сиб. электрон. матем. изв., 18:2 (2021), 923–930
-
О спектрах категоричности для локально конечных графов
Сиб. матем. журн., 62:5 (2021), 983–994
-
Об универсальных парах в иерархии Ершова
Сиб. матем. журн., 62:1 (2021), 31–41
-
О нумерациях в аналитической иерархии
Алгебра и логика, 59:5 (2020), 594–599
-
О структуре позитивных предпорядков
Алгебра и логика, 59:3 (2020), 293–314
-
A note on decidable categoricity and index sets
Сиб. электрон. матем. изв., 17 (2020), 1013–1026
-
Построение разрешимых графов по разрешимым структурам
Алгебра и логика, 58:5 (2019), 553–573
-
О слабо предполных отношениях эквивалентности в иерархии Ершова
Алгебра и логика, 58:3 (2019), 297–319
-
О разрешимости списочных структур
Сиб. матем. журн., 60:3 (2019), 489–505
-
Полурешетки Роджерса семейств отношений эквивалентности в иерархии Ершова
Сиб. матем. журн., 60:2 (2019), 290–305
-
О вычислимой бивложимой категоричности
Алгебра и логика, 57:5 (2018), 601–608
-
Степени автоустойчивости простых булевых алгебр
Алгебра и логика, 57:2 (2018), 149–174
-
Спектры категоричности вычислимых структур
Итоги науки и техн. Соврем. мат. и ее прил. Темат. обз., 157 (2018), 42–58
-
Степени автоустойчивости относительно сильных конструктивизаций графов
Сиб. матем. журн., 59:4 (2018), 719–735
-
О темных вычислимо перечислимых отношениях эквивалентности
Сиб. матем. журн., 59:1 (2018), 29–40
-
Boolean algebras realized by c.e. equivalence relations
Сиб. электрон. матем. изв., 14 (2017), 848–855
-
Вычислимость дистрибутивных решеток
Сиб. матем. журн., 58:6 (2017), 1236–1251
-
Индексное множество автоустойчивых относительно сильных конструктивизаций групп
Сиб. матем. журн., 58:1 (2017), 95–103
-
О степенях автоустойчивости для линейных порядков и линейно упорядоченных абелевых групп
Алгебра и логика, 55:4 (2016), 393–418
-
О строгих и нестрогих степенях категоричности
Алгебра и логика, 55:2 (2016), 257–263
-
О степенях автоустойчивости относительно сильных конструктивизаций для булевых алгебр
Алгебра и логика, 55:2 (2016), 133–155
-
Теорема о ветвлении и вычислимая категоричность в иерархии Ершова
Алгебра и логика, 54:2 (2015), 137–157
-
Automatic structures and the theory of lists
Сиб. электрон. матем. изв., 12 (2015), 714–722
-
Индексное множество автоустойчивых относительно сильных конструктивизаций булевых алгебр
Сиб. матем. журн., 56:3 (2015), 498–512
-
Индексное множество автоустойчивых относительно сильных конструктивизаций линейных порядков
Вестн. НГУ. Сер. матем., мех., информ., 15:3 (2015), 51–60
-
Булевы алгебры с выделенными эндоморфизмами и порождающие деревья
Вестн. НГУ. Сер. матем., мех., информ., 15:1 (2015), 29–44
-
Спектры автоустойчивости булевых алгебр
Алгебра и логика, 53:6 (2014), 764–769
-
О 2-вычислимо перечислимых степенях категоричности булевых алгебр с выделенным автоморфизмом
Вестн. НГУ. Сер. матем., мех., информ., 14:1 (2014), 19–27
-
О вычислимых нумерациях класса булевых алгебр с выделенными эндоморфизмами
Алгебра и логика, 52:5 (2013), 535–552
-
Степени категоричности суператомных булевых алгебр
Алгебра и логика, 52:3 (2013), 271–283
-
О вычислимой категоричности булевой алгебры $\mathfrak B(\omega)$ с выделенным автоморфизмом
Алгебра и логика, 52:2 (2013), 131–144
-
О $\Delta^0_2$-категоричности булевых алгебр
Вестн. НГУ. Сер. матем., мех., информ., 13:2 (2013), 3–14
-
Конструктивизируемость булевой алгебры $\mathfrak B(\omega)$ с выделенным автоморфизмом
Алгебра и логика, 51:5 (2012), 579–607
-
О категоричности булевых алгебр типа $\mathfrak{B}(\omega^{\alpha}\times\eta)$ в гиперарифметической иерархии
Вестн. НГУ. Сер. матем., мех., информ., 12:3 (2012), 35–45
© , 2024