Abstract
Within the frames of the Σ-definability approach propounded by Yu. L. Ershov, we study into the definability of Boolean algebras and their Frechet ranks in hereditarily finite superstructures. Examples are constructed of a superatomic Boolean algebra whose Frechet rank is not Σ-definable in the hereditarily finite superstructure over that algebra, and of an admissible set in which the atomless Boolean algebra is not autostable.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have