Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
Суператомная булева алгебра с выделенной подалгеброй, теория которой не имеет простой модели. / Пальчунов, Дмитрий Евгеньевич; Трофимов, Александр Викторович.
в: Сибирский математический журнал, Том 66, № 3 (391), 2025, стр. 506-522.Результаты исследований: Научные публикации в периодических изданиях › статья › Рецензирование
}
TY - JOUR
T1 - Суператомная булева алгебра с выделенной подалгеброй, теория которой не имеет простой модели
AU - Пальчунов, Дмитрий Евгеньевич
AU - Трофимов, Александр Викторович
N1 - Пальчунов, Д. Е. Суператомная булева алгебра с выделенной подалгеброй, теория которой не имеет простой модели / Д. Е. Пальчунов, А. В. Трофимов // Сибирский математический журнал. – 2025. – Т. 66, № 3(391). – С. 506-522. – DOI 10.33048/smzh.2025.66.313. – EDN LYJJNM. Работа Пальчунова Д. Е. выполнена в рамках государственного задания ИМ СО РАН (проект FWNF-2022-0011).
PY - 2025
Y1 - 2025
N2 - Построена суператомная булева алгебра с выделенной подалгеброй, элементарная теория которой не имеет простой модели.
AB - Построена суператомная булева алгебра с выделенной подалгеброй, элементарная теория которой не имеет простой модели.
KW - БУЛЕВА АЛГЕБРА
KW - БУЛЕВА АЛГЕБРА С ВЫДЕЛЕННОЙ ПОДАЛГЕБРОЙ
KW - ЛОКАЛЬНАЯ АЛГЕБРА
KW - ЭЛЕМЕНТАРНАЯ ТЕОРИЯ
KW - КОНЕЧНО-АКСИОМАТИЗИРУЕМАЯ ТЕОРИЯ
KW - РАЗРЕШИМАЯ ТЕОРИЯ
KW - ЭЛЕМЕНТАРНАЯ ЭКВИВАЛЕНТНОСТЬ
UR - https://www.elibrary.ru/item.asp?id=82386684
U2 - 10.33048/smzh.2025.66.313
DO - 10.33048/smzh.2025.66.313
M3 - статья
VL - 66
SP - 506
EP - 522
JO - Сибирский математический журнал
JF - Сибирский математический журнал
SN - 0037-4474
IS - 3 (391)
ER -
ID: 74480410