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 - and the -side of the projective hierarchy to a certain extent. Using this method we construct a universe where -reduction holds, -uniformization fails, yet uniformization is true for . We also construct a universe where -uniformization holds and for every -uniformization holds, lowering best known upper bound for this statement from the existence of two Woodin cardinals to .
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