|
Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width
D. E. Pal'chunovab, A. V. Trofimovab 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.
Received: 24.03.2016
Citation:
D. E. Pal'chunov, A. V. Trofimov, “Finitely-axiomatizable superatomic Boolean algebras with distinguished dense subalgebra of finite width”, Sibirsk. Mat. Zh., 57:6 (2016), 1361–1375; Siberian Math. J., 57:6 (2016), 1066–1076
Linking options:
https://www.mathnet.ru/eng/smj2829 https://www.mathnet.ru/eng/smj/v57/i6/p1361
|
|