{"id":"arxiv/2610.09707","url":"https://arxiv.org/abs/2610.09707","tags":["math.LO"],"score":0,"title":"Coanalytic subfields and bases of prescribed dimension","domain":"math.LO","source":"arxiv","authors":["Yi Wang"],"reviews":0,"subject":"math.LO","summary":"Assuming $V=L$, we construct proper coanalytic subfields of $\\mathbb{R}$ and coanalytic Hamel and transcendence bases of every possible Hausdorff dimension, uniformly in the relevant parameters. There is a single lightface $Π^1_1$ set $G\\subseteq[0,1]\\times\\mathbb{R}$ whose sections $A_α$ are proper subfields with $\\dim_{\\mathrm H}A_α=α$, form a strictly increasing chain, and satisfy $A_α=\\bigcup_{β 0$. For every $n\\ge1$, every countable subfield $K\\subseteq\\mathbb{R}$ and every $s\\in[0,n]$, we construct a coanalytic Hamel basis of $\\mathbb{R}^n$ over $K$ of Hausdorff dimension $s$.…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-07","reactions":{}}