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

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

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

(18)

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

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)