RUS  ENG
Full version
JOURNALS // Algebra i logika // Archive

Algebra Logika, 2024 Volume 63, Number 3, Pages 271–279 (Mi al2806)

Isomorphism of atomless Boolean algebras with distinguished ideal

S. S. Goncharovab, J. Xiangb

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

Abstract: An algebraic, model-theoretic, and algorithmic theory of enriched Boolean algebras with distinguished ideals was developed in a series of papers by D. E. Pal'chunov, A. Touraille, P. E. Alaev, N. T. Kogabaev, and other authors. Here we study the problem on the number of countable Boolean algebras with distinguished ideals for the case when an algebra and its quotient with respect to a distinguished ideal are atomless. It is proved that, for this subclass, there exist continuum many such countable structures.

Keywords: isomorphism problem, Boolean algebra with finitely many distinguished ideals (I-algebra), density of ideal, quotient algebra with respect to ideal.

UDC: 517.1+519.5

Received: 20.10.2024
Revised: 11.04.2025

DOI: 10.33048/alglog.2024.63.303


 English version:
Algebra and Logic, 2024, 63:3, 179–185


© Steklov Math. Inst. of RAS, 2025