Long Borel Hierarchies

Arnold W. Miller

We show that it is relatively consistent with ZF that the Borel hierarchy on the reals has length ${\omega }_2$. This implies that ${\omega }_1$ has countable cofinality, so the axiom of choice fa…