Пальчунов Д. Е., Трофимов А. В.
Конечно-аксиоматизируемые суператомные булевы алгебры с выделенной плотной подалгеброй конечной ширины

Дано описание конечно-аксиоматизируемых суператомных булевых алгебр с выделенной плотной подалгеброй конечной ширины. Получены критерии элементарной эквивалентности суператомных булевых алгебр с выделенной плотной подалгеброй конечной ширины и разрешимости их элементарных теорий. 

D. E. Pal'chunov, A. V. Trofimov
Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width

We give a description of finitely axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width. Criteria are obtained for the elementary equivalence of superatomic Boolean algebras with distinguished dense subalgebra of finite width and the decidability of their elementary theories.

DOI 10.17377/smzh.2016.57.613
Ключевые слова: булева алгебра, булева алгебра с выделенной подалгеброй, локальная алгебра, элементарная теория, конечно-аксиоматизируемая теория, разрешимая теория, элементарная эквивалентность

Полный текст статьи / Full texts:

• PDF file
• PostScript file