Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
- Autores: Pal’chunov D.E.1, Trofimov A.V.1
-
Afiliações:
- Sobolev Institute of Mathematics, Novosibirsk State University
- Edição: Volume 57, Nº 6 (2016)
- Páginas: 1066-1076
- Seção: Article
- URL: https://journals.rcsi.science/0037-4466/article/view/170871
- DOI: https://doi.org/10.1134/S0037446616060136
- ID: 170871
Citar
Resumo
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.
Sobre autores
D. Pal’chunov
Sobolev Institute of Mathematics, Novosibirsk State University
Autor responsável pela correspondência
Email: palch@math.nsc.ru
Rússia, Novosibirsk
A. Trofimov
Sobolev Institute of Mathematics, Novosibirsk State University
Email: palch@math.nsc.ru
Rússia, Novosibirsk
Arquivos suplementares
