Сиб. матем. журн.,
2025, том 66, номер 3, страницы 506–522
(Mi smj7959)
|
Суператомная булева алгебра с выделенной подалгеброй, теория которой не имеет простой модели
Д. Е. Пальчуновa,
А. В. Трофимовb a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Построена суператомная булева алгебра с выделенной подалгеброй, элементарная теория которой не имеет простой модели.
Ключевые слова:
булева алгебра, булева алгебра с выделенной подалгеброй, локальная алгебра, элементарная теория, конечно-аксиоматизируемая теория, разрешимая теория, элементарная эквивалентность.
УДК:
512.563
MSC: 35R30 Статья поступила: 12.09.2023
Окончательный вариант: 21.02.2025
Принята к печати: 25.02.2025
DOI:
10.33048/smzh.2025.66.313
© , 2025
Полный текст:
PDF файл (326 kB)
Первая страница:
PDF файл