Reflection and indescribability in the constructible universe

DOI10.1007/S11856-015-1191-7zbMATH Open1371.03069OpenAlexW2206463118MaRDI QIDQ891070FDOQ891070

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

Recommendations

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

zbMATH Keywords

constructible universeindescribabilityregular cardinal

Mathematics Subject Classification ID

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

Cites Work

• Set Theory
• The fine structure of the constructible hierarchy
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Topological interpretations of provability logic

Cited In (15)

• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• MÜNCHHAUSEN PROVABILITY
• Higher indescribability and derived topologies
• Adding a nonreflecting weakly compact set
• 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)