Email this article Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
- Authors: Pal’chunov D.E.1, Trofimov A.V.1
-
Affiliations:
- Sobolev Institute of Mathematics, Novosibirsk State University
- Issue: Vol 57, No 6 (2016)
- Pages: 1066-1076
- Section: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/170871
- DOI: https://doi.org/10.1134/S0037446616060136
- ID: 170871
Cite item
Open Access
Access granted
Subscription Access
Abstract
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.
About the authors
D. E. Pal’chunov
Sobolev Institute of Mathematics, Novosibirsk State University
Author for correspondence.
Email: palch@math.nsc.ru
Russian Federation, Novosibirsk
A. V. Trofimov
Sobolev Institute of Mathematics, Novosibirsk State University
Email: palch@math.nsc.ru
Russian Federation, Novosibirsk
Supplementary files
