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.

Авторлар туралы

D. Pal’chunov

Sobolev Institute of Mathematics, Novosibirsk State University

Хат алмасуға жауапты Автор.
Email: palch@math.nsc.ru
Ресей, Novosibirsk

A. Trofimov

Sobolev Institute of Mathematics, Novosibirsk State University

Email: palch@math.nsc.ru
Ресей, Novosibirsk

Қосымша файлдар

Қосымша файлдар
Әрекет
1. JATS XML

© Pleiades Publishing, Ltd., 2016