Aug 2026
Universal Boolean algebras, their ideals, and applications to semantic classes of models
The existence and uniqueness of universal Boolean algebras are shown and the classes in which such algebras exist are determined, and the universal algebras up to isomorphism are classified.
Mikhail Peretyat'kin, V. Selivanov
· Computability · 0 citations