Projective Wellorders and the Nonstationary Ideal

Stefan Hoffelner

We show that, under the assumption of the existence of $M_1^{\#}$, there exists a model on which the restricted nonstationary ideal $NS\upharpoonright A$ is ${\aleph }_2$-satu…