{"id":"arxiv/2608.18955","url":"https://arxiv.org/abs/2608.18955","tags":["math.LO","math.CA"],"score":0,"title":"A Zero--One Law for Subrings of the Reals Closed under Binary Interleaving","domain":"math.LO","source":"arxiv","authors":["Yi Wang"],"reviews":0,"subject":"math.LO","summary":"Erdős Problem 1154 asks whether every number in $[0,1]$ occurs as the Hausdorff dimension of a subring or subfield of $\\mathbb{R}$. We prove that a subring of $\\mathbb{R}$ closed under binary interleaving has Hausdorff dimension either zero or one. Consequently, every Turing ideal and its associated subfield satisfy the same dichotomy.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-19","reactions":{}}