|
Алгебра и логика, 2004, том 43, номер 5, страницы 511–550
(Mi al87)
|
|
|
|
Эта публикация цитируется в 13 научных статьях (всего в 13 статьях)
Автоустойчивые I-алгебры
П. Е. Алаев Институт математики им. С. Л. Соболева СО РАН
Аннотация:
Дается алгебраическое описание автоустойчивых (вычислимо категоричных) булевых алгебр с конечным числом выделенных идеалов. Доказывается, что элементарная теория любой такой алгебры $\omega$-категорична и разрешима.
Ключевые слова:
автоустойчивая (вычислимо категоричная) булева алгебра с конечным числом выделенных идеалов, элементарная теория, $\omega$-категоричная теория, разрешимая теория.
Поступило: 19.02.2003 Окончательный вариант: 18.07.2003
Образец цитирования:
П. Е. Алаев, “Автоустойчивые I-алгебры”, Алгебра и логика, 43:5 (2004), 511–550; Algebra and Logic, 43:5 (2004), 285–306
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/al87 https://www.mathnet.ru/rus/al/v43/i5/p511
|
Статистика просмотров: |
Страница аннотации: | 410 | PDF полного текста: | 119 | Список литературы: | 55 | Первая страница: | 1 |
|