Normal Numbers and the Borel Hierarchy

Verónica Becher, Pablo Ariel Heiber, Theodore A. Slaman

We show that the set of absolutely normal numbers is ${\mathbf{\Pi }}_3^0$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is…