Normal Numbers and the Borel Hierarchy
classification
💻 cs.LO
math.LO
keywords
numbersborelhierarchynormalabsolutelycompleteeffectivemathbf
read the original abstract
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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.