6
$\begingroup$

It is known that $NS_{\omega_2}$ cannot be saturated (namely there cannot be $\aleph_3$ many stationary subsets of $\omega_2$ any two of which have non-stationary intersection). However, it may be the case when it is restricted to a stationary subset. It is also known that the stationary subset cannot be $\omega_2\cap cof(\omega)$. Can $NS_{\omega_2}\restriction cof(\omega_1)$ be saturated? or on some stationary subset of $\omega_2\cap cof(\omega_1)$?

$\endgroup$
2
  • 2
    $\begingroup$ In a recent preprint ( arxiv.org/abs/1901.02821 ) Monroe Eskew proved that it is consistent relative to a huge cardinal that local saturation holds simultaneously at all successor cardinals. $\endgroup$
    – Yair Hayut
    Dec 3, 2019 at 18:26
  • 2
    $\begingroup$ the full set of critical cofinalities case seems not covered there $\endgroup$
    – Otto
    Dec 3, 2019 at 23:03

1 Answer 1

3
$\begingroup$

I believe it is still open whether $\mathrm{NS}_{\omega_2} \restriction \mathrm{cof}(\omega_1)$ can be saturated. But it was known by early unpublished work of Woodin that $\mathrm{NS}_{\omega_2} \restriction S$ can be saturated, where $S$ is a stationary-costationary subset of $\mathrm{cof}(\omega_1)$. The complement provides a "safe space" to allow the iteration to work. Details are given by Foreman-Komjath (MR: 2151585) and by me.

I have heard rumors that recent work related to higher analogues of forcing axioms might be used to tackle the problem. This approach would surely give a model with not-GCH, so we'd have an obvious next open question to tackle.

$\endgroup$
2
  • $\begingroup$ Is it known if it can be pre-saturated? $\endgroup$
    – Rahman. M
    Dec 4, 2019 at 18:40
  • 1
    $\begingroup$ @Rahman.M I think this is also open. $\endgroup$ Dec 5, 2019 at 22:45

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.