Coanalytic subfields and bases of prescribed dimension
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$.…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.09707
curl -X POST /api/v1/records/arxiv/2610.09707/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.09707/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'