{"id":"arxiv/2608.14488","url":"https://arxiv.org/abs/2608.14488","tags":["math.LO"],"score":0,"title":"Strongly relativizing reals","domain":"math.LO","source":"arxiv","authors":["Tyler Arant"],"reviews":0,"subject":"math.LO","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-14","reactions":{}}