Forcing $\mathbf{\Sigma}^1_1$-Separation on $\omega_1^{\omega_1}$
Logic
2026-05-21 v1
Abstract
We prove that it is consistent that every two disjoint boldface subsets of can be separated by a boldface set. The forcing starts from and preserves CH and therefore also .
Cite
@article{arxiv.2605.21175,
title = {Forcing $\mathbf{\Sigma}^1_1$-Separation on $\omega_1^{\omega_1}$},
author = {Stefan Hoffelner},
journal= {arXiv preprint arXiv:2605.21175},
year = {2026}
}