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/