-
arXiv:1311.0335 [pdf, ps, other]
Normal Numbers and the Borel Hierarchy
Abstract: We show that the set of absolutely normal numbers is $\mathbf Π^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $Π^0_3$-complete in the effective Borel hierarchy.
Submitted 1 November, 2013; originally announced November 2013.