Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели Full article
| Journal |
Доклады Академии наук. Серия: Математика, информатика, процессы управления
ISSN: 2686-9543 |
||||
|---|---|---|---|---|---|
| Output data | Year: 2025, Volume: 526, Number: 6, Pages: 24-29 Pages count : 6 DOI: 10.7868/S3034504925060045 | ||||
| Tags | Булева алгебра, суператомная булева алгебра, булева алгебра с выделенной подалгеброй, элементарная теория, простая модель | ||||
| Authors |
|
||||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0011 |
Abstract:
Исследуются булевы алгебры в сигнатуре, обогащенной выделенной подалгеброй. Изучается вопрос существования полных теорий булевых алгебр с выделенной подалгеброй, не имеющих простой модели. Построен континуум булевых алгебр с выделенной подалгеброй, элементарные теории которых различны и не имеют простых моделей, причем для достаточно узкого класса очень
просто устроенных алгебр. А именно, это суператомные булевы алгебры с выделенной подалгеброй, изоморфной самой булевой алгебре и почти совпадающей с ней.
Cite:
Пальчунов Д.Е.
, Трофимов А.В.
Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели
Доклады Академии наук. Серия: Математика, информатика, процессы управления. 2025. Т.526. №6. С.24-29. DOI: 10.7868/S3034504925060045
Теории булевых алгебр с выделенной подалгеброй, не имеющие простой модели
Доклады Академии наук. Серия: Математика, информатика, процессы управления. 2025. Т.526. №6. С.24-29. DOI: 10.7868/S3034504925060045
Dates:
| Submitted: | Sep 1, 2025 |
| Accepted: | Oct 14, 2025 |
Identifiers:
No identifiers
Citing:
Пока нет цитирований