PreprintarXiv licencearXiv
A Zero--One Law for Subrings of the Reals Closed under Binary Interleaving
Abstract
Erdős Problem 1154 asks whether every number in [0,1] occurs as the Hausdorff dimension of a subring or subfield of ℝ. We prove that a subring of ℝ closed under binary interleaving has Hausdorff dimension either zero or one. Consequently, every Turing ideal and its associated subfield satisfy the same dichotomy.
Related
BibTeX
@misc{wang2026zeroone,
title = {{A Zero--One Law for Subrings of the Reals Closed under Binary Interleaving}},
author = {Yi Wang},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2608.18955},
eprint = {2608.18955},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2608.18955},
}
RIS
TY - UNPB
TI - A Zero--One Law for Subrings of the Reals Closed under Binary Interleaving
AU - Yi Wang
PY - 2026
DA - 2026/10/15
PB - arXiv
DO - 10.48550/arxiv.2608.18955
UR - https://arxiv.org/abs/2608.18955
AB - Erdős Problem 1154 asks whether every number in [0,1] occurs as the Hausdorff dimension of a subring or subfield of ℝ. We prove that a subring of ℝ closed under binary interleaving has Hausdorff dimension either zero or one. Consequently, every Turing ideal and its associated subfield satisfy the same dichotomy.
ER -