Compactness and guessing principles in the Radin extensions
From MaRDI portal
Abstract: We investigate the interaction between compactness principles and guessing principles in the Radin forcing extensions. In particular, we show that in any Radin forcing extension with respect to a measure sequence on , if is weakly compact, then holds. This provides contrast with a well-known theorem of Woodin, who showed that in a certain Radin extension over a suitably prepared ground model relative to the existence of large cardinals, the diamond principle fails at a strongly inaccessible Mahlo cardinal. Refining the analysis of the Radin extensions, we consistently demonstrate a scenario where a compactness principle, stronger than the diagonal stationary reflection principle, holds yet the diamond principle fails at a strongly inaccessible cardinal, improving a result from cite{BN19}.
Cites work
- \(\diamondsuit\) at Mahlo cardinals
- Adding closed cofinal sequences to large cardinals
- Club guessing sequences and filters
- Diamond (on the regulars) can fail at any strongly unfoldable cardinal
- Diamonds, compactness, and measure sequences
- Distributive Aronszajn trees
- scientific article; zbMATH DE number 3781158 (Why is no real title available?)
- scientific article; zbMATH DE number 734993 (Why is no real title available?)
- Indescribable cardinals without diamonds
- Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
- Prikry-type forcings
- Set theory.
- Some results about (+) proved by iterated forcing
- Squares, scales and stationary reflection
- THE CLUB GUESSING IDEAL: COMMENTARY ON A THEOREM OF GITIK AND SHELAH
- Walks on ordinals and their characteristics
Cited in
(2)
This page was built for publication: Compactness and guessing principles in the Radin extensions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6038481)
