D. E. Pal'chunov, A. V. Trofimov, “Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width”, Sibirsk. Mat. Zh., 2016, Volume 57, Number 6,Pages <nobr>1361

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

D. E. Pal'chunov^ab, A. V. Trofimov^ab

^a Sobolev Institute of Mathematics, Novosibirsk, Russia
^b Novosibirsk State University, Novosibirsk, Russia

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.

Keywords: Boolean algebra, Boolean algebra with distinguished subalgebra, local algebra, elementary theory, finitely axiomatizable theory, decidable theory, elementary equivalence.

UDC: 512.563

Received: 24.03.2016

DOI: 10.17377/smzh.2016.57.613