Compactness and guessing principles in the Radin extensions

DOI10.1142/S0219061322500246arXiv2105.01037OpenAlexW3158893841MaRDI QIDQ6038481FDOQ6038481

Omer Ben-Neria, Author name not available (Why is that?)

Publication date: 2 May 2023

Published in: Journal of Mathematical Logic (Search for Journal in Brave)

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 $kappa$, if $kappa$ is weakly compact, then $diamondsuit(kappa)$ 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}.

Full work available at URL: https://arxiv.org/abs/2105.01037

zbMATH Keywords

diamondRadin forcingweak compactamenable \(C\)-sequence

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Cites Work

• Title not available (Why is that?)
• Making the supercompactness of \(\nu\) indestructible under \(\nu\)-directed closed forcing
• Squares, scales and stationary reflection
• Prikry-Type Forcings
• Set theory.
• Walks on ordinals and their characteristics
• Diamond (on the regulars) can fail at any strongly unfoldable cardinal
• Adding closed cofinal sequences to large cardinals
• Title not available (Why is that?)
• THE CLUB GUESSING IDEAL: COMMENTARY ON A THEOREM OF GITIK AND SHELAH
• Club guessing sequences and filters
• Some results about (+) proved by iterated forcing
• Indescribable cardinals without diamonds
• \(\diamondsuit\) at Mahlo cardinals
• Diamonds, compactness, and measure sequences
• Distributive Aronszajn trees

Cited In (2)

• Radin forcing and its iterations
• Approximating diamond principles on products at an inaccessible cardinal

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)