{"id":"arxiv/2605.21175","url":"https://arxiv.org/abs/2605.21175","tags":["math.LO"],"score":0,"title":"Forcing $\\mathbfΣ^1_1$-Separation on $ω_1^{ω_1}$","domain":"math.LO","source":"arxiv","authors":["Stefan Hoffelner"],"reviews":0,"subject":"math.LO","summary":"We prove that it is consistent that every two disjoint boldface $\\mathbfΣ^1_1$ subsets of $ω_1^{ω_1}$ can be separated by a boldface $\\mathbfΔ^1_1$ set. The forcing starts from $L$ and preserves CH and therefore also $ω_1^{<ω_1}=ω_1$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-20","reactions":{}}