Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
- Авторлар: Pal’chunov D.E.1, Trofimov A.V.1
-
Мекемелер:
- Sobolev Institute of Mathematics, Novosibirsk State University
- Шығарылым: Том 57, № 6 (2016)
- Беттер: 1066-1076
- Бөлім: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/170871
- DOI: https://doi.org/10.1134/S0037446616060136
- ID: 170871
Дәйексөз келтіру
Аннотация
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
Қосымша файлдар
