Normal numbers and the Borel hierarchy by
Verónica Becher, Pablo Ariel Heiber, Theodore A. Slaman · 2015
Abstract. We show that the set of absolutely normal numbers is Π03-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is Π03-complete in the effective Borel hierarchy. 1. Introduction. What