Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal

DOI10.1016/j.apal.2021.102960OpenAlexW3130122788MaRDI QIDQ2032989

Victoria Gitman, Chris Lambie-Hanson, Brent M. Cody

Publication date: 14 June 2021

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

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

zbMATH Keywords

reflectionsquareweakly compactindescribable

Mathematics Subject Classification ID

Consistency and independence results (03E35) Large cardinals (03E55) Other aspects of forcing and Boolean-valued models (03E40) Ordered sets and their cofinalities; pcf theory (03E04)

Related Items (3)

Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\) ⋮ Higher indescribability and derived topologies ⋮ Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Squares and covering matrices
• Reflection and indescribability in the constructible universe
• Partitioning pairs of countable ordinals
• Stationary cardinals
• Fine structure and class forcing
• The weakly compact reflection principle need not imply a high order of weak compactness
• Adding a nonreflecting weakly compact set
• Orders of indescribable sets
• Iterated Forcing and Elementary Embeddings
• Indescribable cardinals and elementary embeddings
• On splitting stationary subsets of large cardinals
• Fragile measurability
• Small forcing makes any cardinal superdestructible
• Simultaneous stationary reflection and square sequences
• Derived topologies on ordinals and stationary reflection
• Saturation of the weakly compact ideal
• Topological Interpretations of Provability Logic
• The fine structure of the constructible hierarchy

This page was built for publication: Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal