Proves consistency of boldface Σ¹₁-separation on ω₁^ω₁ via forcing from L that preserves CH.
The globalΣ 1 n+2-uniformization property andBPFA.Advances in Mathematics, 470:110272, 2025
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
math.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Forcing $\mathbf{\Sigma}^1_1$-Separation on $\omega_1^{\omega_1}$
Proves consistency of boldface Σ¹₁-separation on ω₁^ω₁ via forcing from L that preserves CH.