Victor Selivanov

Universal Boolean algebras, their ideals, and applications to semantic classes of models

We explore numbered Boolean algebras over classes Ξ of arithmetical and analytical hierarchies. We show the existence and uniqueness (up to computable isomorphism) of universal Boolean Ξ -algebras, determine the classes in which such algebras exist, and classify the universal alg...