We show that the set of absolutely normal numbers is Π⁰₃-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is Π⁰₃-complete in the effective Borel hierarchy.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-fm226-1-4, author = {Ver\'onica Becher and Pablo Ariel Heiber and Theodore A. Slaman}, title = {Normal numbers and the Borel hierarchy}, journal = {Fundamenta Mathematicae}, volume = {227}, year = {2014}, pages = {63-77}, zbl = {1316.03024}, language = {en}, url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm226-1-4} }
Verónica Becher; Pablo Ariel Heiber; Theodore A. Slaman. Normal numbers and the Borel hierarchy. Fundamenta Mathematicae, Tome 227 (2014) pp. 63-77. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-fm226-1-4/