Strongly relativizing reals
For a real $f\in \mathbb{N}^\mathbb{N}$, it is in general not the case that every set which is both $Σ^1_1(f)$ and $Π^1_1(f)$ is the $f$-section of a $Δ^1_1$ set. However, there are reals $f$ for which this, in fact, does happen; we say that such a real strongly relativizes $Δ^1_1$. In this paper, we will prove that the reals which strongly relativize $Δ^1_1$ are exactly the hyperlow reals, i.e., the $f\in \mathbb{N}^\mathbb{N}$ with $ω_1^f=ω_1^{\text{ck}}$. We will also study reals that strongly relativize the classes $Δ^0_α$ for $1\leq α<ω_1^{\text{ck}}$. We characterize the reals that…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2608.14488
curl -X POST /api/v1/records/arxiv/2608.14488/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2608.14488/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'