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

DOI10.1016/J.APAL.2021.102960MaRDI QIDQ2032989zbMATH OpenOpenAlexFDO

Authors Victoria Gitman, Chris Lambie-Hanson, Brent 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

indescribablereflectionsquareweakly compact

Mathematics Subject Classification ID

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

Recommendations

• Adding a nonreflecting weakly compact set
• The weakly compact reflection principle need not imply a high order of weak compactness
• scientific article; zbMATH DE number 2024204
• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• Indescribable cardinals without diamonds

Cites work

• Adding a nonreflecting weakly compact set
• Derived topologies on ordinals and stationary reflection
• Fine structure and class forcing
• Fragile measurability
• scientific article; zbMATH DE number 2024204 (Why is no real title available?)
• scientific article; zbMATH DE number 1827958 (Why is no real title available?)
• scientific article; zbMATH DE number 1908324 (Why is no real title available?)
• scientific article; zbMATH DE number 3422371 (Why is no real title available?)
• Indescribable cardinals and elementary embeddings
• Iterated forcing and elementary embeddings
• On splitting stationary subsets of large cardinals
• Orders of indescribable sets
• Partitioning pairs of countable ordinals
• Reflection and indescribability in the constructible universe
• Saturation of the weakly compact ideal
• Simultaneous stationary reflection and square sequences
• Small forcing makes any cardinal superdestructible
• Squares and covering matrices
• Stationary cardinals
• The fine structure of the constructible hierarchy
• The weakly compact reflection principle need not imply a high order of weak compactness
• Topological interpretations of provability logic

Cited in

(5)

• Characterizations of the weakly compact ideal on \(P_\kappa\lambda\)
• Square below a non-weakly compact cardinal
• Generalisations of stationarity, closed and unboundedness, and of Jensen's
• Higher indescribability and derived topologies
• Forcing a \square(\kappa)-like principle to hold at a weakly compact cardinal

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2032989)