Article contents
A
${\rm{\Sigma }}_4^1 $ WELLORDER OF THE REALS WITH
${\rm{NS}}_{\omega _1 } $ SATURATED
Published online by Cambridge University Press: 16 July 2019
Abstract
We show that, assuming the existence of the canonical inner model with one Woodin cardinal $M_1 $ , there is a model of
$ZFC$ in which the nonstationary ideal on
$\omega _1 $ is
$\aleph _2 $-saturated and whose reals admit a
${\rm{\Sigma }}_4^1 $-wellorder.
- Type
- Articles
- Information
- Copyright
- Copyright © The Association for Symbolic Logic 2019
References
REFERENCES
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20191227122319798-0301:S0022481219000434:S0022481219000434_inline8.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20191227122319798-0301:S0022481219000434:S0022481219000434_inline9.gif?pub-status=live)
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20191227122319798-0301:S0022481219000434:S0022481219000434_inline10.gif?pub-status=live)
- 3
- Cited by