|
Теории суператомных булевых алгебр с выделенной подалгеброй, не имеющие счетно-насыщенной модели
Д. Е. Пальчуновab, А. В. Трофимовab a Институт математики им. С. Л. Соболева СО РАН, пр. Академика Коптюга, 4, Новосибирск 630090
b Новосибирский государственный университет, ул. Пирогова, 1, Новосибирск 630090
Аннотация:
Исследуются булевы алгебры с выделенной подалгеброй. Доказано существование континуума простых суператомных булевых алгебр с выделенной подалгеброй (подалгебра совпадает с булевой алгеброй по модулю идеала Фреше), элементарные теории которых различны и каждая из которых не имеет счетно-насыщенной модели.
Ключевые слова:
булева алгебра, булева алгебра с выделенной подалгеброй, локальная алгебра, элементарная теория, конечно-аксиоматизируемая теория, разрешимая теория, элементарная эквивалентность.
Статья поступила: 10.03.2020 Окончательный вариант: 06.04.2020 Принята к печати: 08.04.2020
Образец цитирования:
Д. Е. Пальчунов, А. В. Трофимов, “Теории суператомных булевых алгебр с выделенной подалгеброй, не имеющие счетно-насыщенной модели”, Сиб. матем. журн., 61:3 (2020), 654–668; Siberian Math. J., 61:3 (2020), 516–527
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/smj6008 https://www.mathnet.ru/rus/smj/v61/i3/p654
|
Статистика просмотров: |
Страница аннотации: | 173 | PDF полного текста: | 87 | Список литературы: | 30 |
|