Reflection and indescribability in the constructible universe

DOI10.1007/S11856-015-1191-7MaRDI QIDQ891070zbMATH OpenOpenAlexFDO

Authors Joan Bagaria, Menachem Magidor, Hiroshi Sakai

Publication date 16 November 2015

Published in Israel Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11856-015-1191-7

zbMATH Keywords

constructible universeindescribabilityregular cardinal

Mathematics Subject Classification ID

Large cardinals (03E55) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Full Reflection of Stationary Sets at Regular Cardinals
• Indestructibility and stationary reflection
• The consistency strength of hyperstationarity
• Stationary cardinals
• Indescribable cardinals without diamonds

Cites work

• scientific article; zbMATH DE number 5862929 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 3422371 (Why is no real title available?)
• Set Theory
• The fine structure of the constructible hierarchy
• Topological interpretations of provability logic

Cited in

(15)

• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• MÜNCHHAUSEN PROVABILITY
• Adding a nonreflecting weakly compact set
• Higher indescribability and derived topologies
• The consistency strength of hyperstationarity
• A topological completeness theorem for transfinite provability logic
• On the reduction property for GLP-algebras
• On some semantic issues in the reflective tower
• Full Reflection of Stationary Sets at Regular Cardinals
• The weakly compact reflection principle need not imply a high order of weak compactness
• Topological interpretations of provability logic
• Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\)
• On properties of compacta that do not reflect in small continuous images
• The polytopologies of transfinite provability logic
• Derived topologies on ordinals and stationary reflection

This page was built for publication: Reflection and indescribability in the constructible universe

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