Abstract

AbstractWe demonstrate that the technology of Radin forcing can be used to transfer compactness properties at a weakly inaccessible but not strong limit cardinal to a strongly inaccessible cardinal. As an application, relative to the existence of large cardinals, we construct a model of set theory in which there is a strongly inaccessible cardinal that is ‐‐stationary for all but not weakly compact. This is in sharp contrast to the situation in the constructible universe , where being ‐‐stationary is equivalent to being ‐indescribable. We also show that it is consistent that there is a cardinal such that is ‐stationary for all and , answering a question of Sakai.

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.