|
|
Публикации в базе данных Math-Net.Ru
-
Тьюринговы спектры групп автоморфизмов рационального порядка
Сиб. матем. журн., 65:6 (2024), 1207–1213
-
ITBM-конструктивные пополнения алгебр
Сиб. матем. журн., 65:3 (2024), 533–544
-
Нижние полурешетки отделимых конгруэнций нумерованных алгебр
Сиб. матем. журн., 64:4 (2023), 753–769
-
Семейства перестановок и идеалы тьюринговых степеней
Алгебра и логика, 61:6 (2022), 706–719
-
О слабо голографичных структурах
Сиб. матем. журн., 63:6 (2022), 1276–1289
-
О $T_1$-отделимых нумерациях подпрямо неразложимых алгебр
Алгебра и логика, 60:4 (2021), 400–424
-
Характеризации ITBM-вычислимости. II
Алгебра и логика, 60:1 (2021), 39–56
-
Характеризации ITBM-вычислимости. I
Алгебра и логика, 59:6 (2020), 627–648
-
Минимальные предикаты относительно $\Delta$-определимости
Алгебра и логика, 59:4 (2020), 480–499
-
Тьюринговы степени и группы автоморфизмов решёток подструктур
Алгебра и логика, 59:1 (2020), 27–47
-
О $\Sigma$-предпорядках в ${\mathbb{HF}(\mathbb{R})}$
Алгебра и логика, 58:5 (2019), 609–626
-
О взаимной определимости операций над полями
Сиб. матем. журн., 60:6 (2019), 1324–1334
-
О голографичных структурах
Сиб. матем. журн., 60:2 (2019), 401–410
-
Перечислимый частичный порядок без перечислимых максимальных цепей и антицепей
Сиб. матем. журн., 59:3 (2018), 587–595
-
Непредставимость некоторых структур анализа в наследственно конечных надстройках
Алгебра и логика, 56:6 (2017), 691–711
-
О вычислительных возможностях машин Блюм–Шуба–Смэйла, работающих в бесконечном времени
Алгебра и логика, 56:1 (2017), 55–92
-
Об одной сводимости и экзистенциальной интерпретируемости структур
Сиб. матем. журн., 58:2 (2017), 365–374
-
Об одном достаточном условии непредставимости структур в наследственно конечных надстройках
Алгебра и логика, 55:3 (2016), 366–379
-
Об определимости линейных порядков над негативными эквивалентностями
Алгебра и логика, 55:1 (2016), 37–57
-
О $\Sigma$-представлениях вещественного порядка
Алгебра и логика, 53:3 (2014), 340–371
-
On the existential interpretability of structures
Сиб. электрон. матем. изв., 11 (2014), 557–566
-
$\Sigma$-жесткие представления вещественного порядка
Сиб. матем. журн., 55:3 (2014), 562–572
-
Непредставимость полугруппы $\omega^\omega$ над $\mathbb{HF(R)}$
Сиб. матем. журн., 55:1 (2014), 156–164
-
О некоторых представлениях поля вещественных чисел
Алгебра и логика, 51:1 (2012), 96–128
-
О некоторых представлениях поля вещественных чисел
Алгебра и логика, 50:2 (2011), 270–271
-
Простые структуры со сложной симметрией
Алгебра и логика, 49:1 (2010), 98–134
-
О разрешимости проблемы разложимости для конечных теорий
Сиб. матем. журн., 51:4 (2010), 838–847
-
О вычислимых автоморфизмах в анализе формальных понятий
Сиб. матем. журн., 51:2 (2010), 357–366
-
Об эффективных представлениях решеток формальных понятий
Сиб. матем. журн., 50:3 (2009), 603–620
-
О $\Sigma$-определимости счётных структур над вещественными, комплексными числами и кватернионами
Алгебра и логика, 47:3 (2008), 335–363
-
Определимые множества в группах автоморфизмов рационального порядка
Алгебра и логика, 47:2 (2008), 215–239
-
Об индексных множествах $\Sigma$-подмножеств вещественных чисел
Сиб. матем. журн., 49:6 (2008), 1351–1360
-
О категоричности группы всех вычислимых автоморфизмов рациональных чисел
Алгебра и логика, 46:5 (2007), 649–662
-
О вычислимых формальных понятиях в вычислимых формальных контекстах
Сиб. матем. журн., 48:5 (2007), 1083–1092
-
Элементарные подмодели параметризуемых моделей
Сиб. матем. журн., 47:3 (2006), 595–612
-
О допустимых предикатах на допустимых множествах
Сиб. матем. журн., 46:4 (2005), 841–850
-
Об автоморфных кортежах элементов в вычислимых моделях
Сиб. матем. журн., 46:3 (2005), 523–532
-
О $\Sigma$-подмножествах натуральных чисел
Алгебра и логика, 43:3 (2004), 291–320
-
О гомеоморфизмах эффективных топологических пространств
Сиб. матем. журн., 45:5 (2004), 1160–1177
-
Об отношении $\Sigma$-сводимости между допустимыми множествами
Сиб. матем. журн., 45:3 (2004), 634–652
-
Булевы алгебры с конечными вычислимыми семействами вычислимых автоморфизмов
Сиб. матем. журн., 45:1 (2004), 171–177
-
О проблеме конечной сигнатуры
Сиб. матем. журн., 44:1 (2003), 206–210
-
О представимости групп $\Sigma$-определимых перестановок над допустимыми множествами
Алгебра и логика, 41:4 (2002), 459–480
-
Об одной иерархии групп вычислимых автоморфизмов
Сиб. матем. журн., 43:1 (2002), 155–160
-
Еще раз о вопросе Хигмана
Алгебра и логика, 39:2 (2000), 134–144
-
$\Sigma$-множество натуральных чисел, не перечислимое с помощью натуральных чисел
Сиб. матем. журн., 41:6 (2000), 1404–1408
-
Еще раз о счетно-категоричных предложениях
Сиб. матем. журн., 40:2 (1999), 434–438
-
Эндоморфизмы группы всех рекурсивных перестановок
Алгебра и логика, 36:1 (1997), 54–76
-
Тьюрингова сводимость как алгебраическая вложимость
Сиб. матем. журн., 38:2 (1997), 362–364
-
О группах автоморфизмов разрешимых моделей
Алгебра и логика, 34:4 (1995), 437–447
-
Функциональные деревья и автоморфизмы моделей
Алгебра и логика, 32:1 (1993), 54–72
-
О рекурсивных автоморфизмах атомных булевых алгебр
Алгебра и логика, 29:4 (1990), 464–490
-
Об одном вопросе Хигмана
Алгебра и логика, 29:1 (1990), 29–34
-
Жесткие конструктивные модули
Алгебра и логика, 28:5 (1989), 570–583
-
Элементарные свойства групп рекурсивных перестановок
Докл. АН СССР, 305:2 (1989), 274–276
-
О теориях классов групп рекурсивных перестановок
Тр. Ин-та математики, 12 (1989), 91–104
-
Счетно-категоричная разрешимая модель без нетривиальных рекурсивных автоморфизмов
Сиб. матем. журн., 30:2 (1989), 221–224
-
Перестановки и неявная определимость
Алгебра и логика, 27:1 (1988), 19–36
-
Об одном классе рекурсивно перечислимых множеств
Сиб. матем. журн., 28:2 (1987), 124–128
-
Об одном вопросе Бергстры и Тьюрина
Алгебра и логика, 25:5 (1986), 566–583
-
О вычислимых группах автоморфизмов моделей
Алгебра и логика, 25:4 (1986), 415–424
-
О конструктивных булевых алгебрах с почти тождественными автоморфизмами
Матем. заметки, 37:4 (1985), 478–482
-
Автоморфизмы конструктивизаций булевых алгебр
Сиб. матем. журн., 26:4 (1985), 98–110
-
Группа $\mathrm{Aut}_r\langle Q,\le\rangle$ не конструктивизируема
Матем. заметки, 36:4 (1984), 473–478
-
Группы рекурсивных автоморфизмов конструктивных булевых алгебр
Алгебра и логика, 22:2 (1983), 138–158
-
Счетные однородные булевы алгебры
Алгебра и логика, 21:3 (1982), 269–282
-
Сильная конструктивизируемость счетных насыщенных булевых алгебр
Алгебра и логика, 21:2 (1982), 193–203
-
О разрешимости теорий булевых алгебр с выделенным идеалом
Сиб. матем. журн., 23:1 (1982), 199–201
-
Памяти Валерия Матвеевича Копытова
Алгебра и логика, 61:6 (2022), I–IV
-
Юрий Леонидович Ершов (к восьмидесятилетию со дня рождения)
УМН, 75:3(453) (2020), 191–194
-
Евгений Андреевич Палютин (1945–2018)
Сиб. электрон. матем. изв., 16 (2019), 1–10
-
Юрий Леонидович Ершов (к 75-летию со дня рождения)
Сиб. матем. журн., 56:3 (2015), 477–480
-
Сергей Ильич Мардаев (6.04.1962–10.04.2013)
Сиб. электрон. матем. изв., 10 (2013), 30–34
-
Юрий Леонидович Ершов (к семидесятилетию со дня рождения)
УМН, 66:1(397) (2011), 201–204
-
Сергей Савостьянович Гончаров (к 60-летию со дня рождения)
Сиб. матем. журн., 52:5 (2011), 959–961
-
Ершов Юрий Леонидович (к семидесятилетию со дня рождения)
Владикавк. матем. журн., 12:2 (2010), 75–78
-
9-ая Азиатская конференция по логике (Новосибирск, 16–19 августа 2005 г.)
Сиб. электрон. матем. изв., 2 (2005), 10–11
-
Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)
УМН, 55:6(336) (2000), 173–182
-
Юрий Леонидович Ершов (к шестидесятилетию со дня рождения)
Владикавк. матем. журн., 2:2 (2000), 3–9
© , 2025