Return to Revisions

In ZFCA, every set is equinumerous with a pure set, since every well ordering of a set makes it bijective with an ordinal, which is pure. Therefore the cardinal structure of any model of ZFCA is reflected in its pure sets, and in particular, CH and the GCH will hold, respectively, if and only if they hold in the underlying ZFC model of pure sets.