Normal Numbers and the Borel Hierarchy
Logic in Computer Science
2013-11-05 v1 Logic
Abstract
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.
Cite
@article{arxiv.1311.0335,
title = {Normal Numbers and the Borel Hierarchy},
author = {Verónica Becher and Pablo Ariel Heiber and Theodore A. Slaman},
journal= {arXiv preprint arXiv:1311.0335},
year = {2013}
}