Изоморфизм безатомных булевых алгебр с выделенным идеалом

В серии статей Д. Е. Пальчунова, А. Турая, П. Е. Алаева, Н. Т. Когабаева и других авторов была развита алгебраическая, теоретико-модельная и алгоритмическая теория обогащённых булевых алгебр с выделенными идеалами. Здесь изучается проблема числа счётных булевых алгебр с выделенным идеалом в случае безатомности алгебры и её фактора по выделенному идеалу. Для этого подкласса доказывается существование континуума таких счётных структур.