|
|
Публикации в базе данных Math-Net.Ru
-
Сравнение выразительной силы некоторых языков запросов для баз данных
Труды МИАН, 274 (2011), 297–313
-
Трансляционные результаты для языков запросов в теории баз данных
УМН, 61:2(368) (2006), 3–66
-
Ограниченные псевдоконечная однородность и изолированность
Вестник ТвГУ. Серия: Прикладная математика, 2003, № 1, 5–15
-
О динамических теориях свободных алгебр
Матем. сб., 180:3 (1989), 307–321
-
Иерархии программных логик
Сиб. матем. журн., 24:3 (1983), 184–192
-
Об элементарных свойствах экзистенциально
замкнутых систем
УМН, 34:2(206) (1979), 39–94
-
О проблеме изоморфизма для коммутативных полугрупп
Матем. сб., 93(135):1 (1974), 103–128
-
Экзистенциально замкнутые регулярные коммутативные полугруппы
Алгебра и логика, 12:6 (1973), 689–703
-
Два замечания о многообразиях ${\mathfrak A}_{m,n}$
Алгебра и логика, 11:5 (1972), 501–508
-
Категоричные квазимногообразия
Алгебра и логика, 11:1 (1972), 3–38
-
Об элементарных теориях решеток подгрупп
Алгебра и логика, 9:4 (1970), 473–483
-
Эквивалентность автоматов относительно коммутативной полугруппы
Алгебра и логика, 8:5 (1969), 553–600
-
О простых идеалах в кольцах многочленов
Алгебра и логика, 7:6 (1968), 64–66
-
Об элементарных теориях решёток идеалов в кольцах многочленов
Алгебра и логика, 7:2 (1968), 94–97
-
Об алгоритмических проблемах для коммутативных полугрупп
Докл. АН СССР, 178:4 (1968), 786–789
-
К проблеме изоморфизма для коммутативных полугрупп
Сиб. матем. журн., 9:2 (1968), 375–401
-
Ещё несколько примеров неразрешимых теорий
Алгебра и логика. Семинар, 6:3 (1967), 105–111
-
Два замечания об изоморфизмах коммутативных полугрупп
Алгебра и логика. Семинар, 6:1 (1967), 95–110
-
Об элементарных теориях коммутативных полугрупп
Алгебра и логика. Семинар, 5:4 (1966), 55–89
-
Об элементарных теориях коммутативных полугрупп с сокращением
Алгебра и логика. Семинар, 5:1 (1966), 51–69
-
О теории конечных колец с делением
Алгебра и логика. Семинар, 4:4 (1965), 103–114
-
Об элементарной теории классических алгебр Ли
Докл. АН СССР, 164:6 (1965), 1243–1245
-
Элементарные теории
УМН, 20:4(124) (1965), 37–108
-
Об элементарных теориях свободных нильпотентных алгебр
Алгебра и логика. Семинар, 3:5-6 (1964), 57–63
-
Разрешимость некоторых элементарных теорий
Алгебра и логика. Семинар, 3:3 (1964), 5–12
-
Неразрешимость некоторых теорий
Алгебра и логика. Семинар, 2:5 (1963), 37–41
-
Неразрешимость элементарных теорий некоторых классов конечных коммутативных ассоциативных колец
Алгебра и логика. Семинар, 2:3 (1963), 29–51
-
Эффективная неотделимость множества тождественно истинных и
множества конечно oпpoвержимых формул элементарной теории
структур
Алгебра и логика. Семинар, 1:3 (1962), 24–38
-
Относительно элементарные подпространства в компактных алгебрах Ли
Алгебра и логика. Семинар, 1:2 (1962), 30–46
-
Относительно элементарные подпространства в компактных алгебрах Ли
Докл. АН СССР, 144:5 (1962), 997–998
-
О финитно аппроксимируемых абелевых мультиоператорных группах
УМН, 17:5(107) (1962), 137–142
-
Неразрешимость элементарной теории коммутативных полугрупп с сокращением
Сиб. матем. журн., 3:2 (1962), 308–309
-
О финитной аппроксимируемости $\Omega$-групп
Сиб. матем. журн., 3:1 (1962), 95–102
-
Заседания Сибирского математического общества
УМН, 19:2(116) (1964), 207–208
© , 2024