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
补充文件
