Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width


Citar

Texto integral

Acesso aberto Acesso aberto
Acesso é fechado Acesso está concedido
Acesso é fechado Somente assinantes

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

Arquivos suplementares
Ação
1. JATS XML

Declaração de direitos autorais © Pleiades Publishing, Ltd., 2016