Coanalytic subfields of the reals of every Hausdorff dimension

Abstract

An analytic subring of $\mathbb{R}$ has Hausdorff dimension $0$ or is equal to $\mathbb{R}$, by a theorem of Edgar--Miller and Bourgain. We show that this fails for coanalytic subfields in the constructible universe: if $V=L$, then for every $α\in[0,1]$ there is a proper coanalytic subfield of $\mathbb{R}$ of Hausdorff dimension $α$. In fact there is a single parameter-free $Π^1_1$ set $G\subseteq[0,1]\times\mathbb{R}$ whose sections $A(α)$ are such fields, are strictly increasing in $α$, and satisfy $A(α)=\bigcup_{r<α}A(r)$ for $α>0$.