published by Ver\\'onica Becher
in 2013
in Informatics Engineering
and research's language is
English
Download
Abstract in English
We show that the set of absolutely normal numbers is $mathbf Pi^0_3$-complete in the Borel hierarchy of subsets of real numbers. Similarly, the set of absolutely normal numbers is $Pi^0_3$-complete in the effective Borel hierarchy.