RUS  ENG
Full version
JOURNALS // Sibirskii Matematicheskii Zhurnal // Archive

Sibirsk. Mat. Zh., 2020 Volume 61, Number 3, Pages 654–668 (Mi smj6008)

The theories of superatomic boolean algebras with distinguished subalgebra which lack countably saturated models

D. E. Pal'chunovab, A. V. Trofimovab

a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University

Abstract: Studying Boolean algebras with distinguished subalgebras, we establish the existence of continuum many simple superatomic Boolean algebras with distinguished subalgebra whose elementary theories are distinct and each of them lacks countably saturated models. The subalgebras coincide with the Boolean algebras modulo their Fréchet ideals.

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

UDC: 512.563

MSC: 35R30

Received: 10.03.2020
Revised: 06.04.2020
Accepted: 08.04.2020

DOI: 10.33048/smzh.2020.61.313


 English version:
Siberian Mathematical Journal, 2020, 61:3, 516–527

Bibliographic databases:


© Steklov Math. Inst. of RAS, 2024