П. Е. Алаев, “Автоустойчивые I-алгебры”, Алгебра и логика, 2004, том 43, номер 5,страницы 511

Эта публикация цитируется в 13 статьях

Автоустойчивые I-алгебры

П. Е. Алаев

Институт математики им. С. Л. Соболева СО РАН

Аннотация: Дается алгебраическое описание автоустойчивых (вычислимо категоричных) булевых алгебр с конечным числом выделенных идеалов. Доказывается, что элементарная теория любой такой алгебры $\omega$-категорична и разрешима.

Ключевые слова: автоустойчивая (вычислимо категоричная) булева алгебра с конечным числом выделенных идеалов, элементарная теория, $\omega$-категоричная теория, разрешимая теория.

УДК: 510.5+510.6+512.563

Поступило: 19.02.2003
Окончательный вариант: 18.07.2003