English

Forcing upper $\Sigma$-uniformization in the presence of lower $\Pi$-reduction or uniformization

Logic 2025-11-10 v1

Abstract

We present a method which allows the combination of forcing uniformization on the Π\Pi- and the Σ\Sigma-side of the projective hierarchy to a certain extent. Using this method we construct a universe where Π31{\Pi}^1_3-reduction holds, Π31\Pi^1_3-uniformization fails, yet Σn1\Sigma^1_n uniformization is true for n4n \ge 4. We also construct a universe where Π31\Pi^1_3-uniformization holds and for every n4,n \ge 4, Σ41 \Sigma^1_4-uniformization holds, lowering best known upper bound for this statement from the existence of two Woodin cardinals to Con(\ZFC)Con(\ZFC).

Keywords

Cite

@article{arxiv.2511.05081,
  title  = {Forcing upper $\Sigma$-uniformization in the presence of lower $\Pi$-reduction or uniformization},
  author = {Stefan Hoffelner},
  journal= {arXiv preprint arXiv:2511.05081},
  year   = {2025}
}

Comments

46p