Reflection and indescribability in the constructible universe
From MaRDI portal
Publication:891070
DOI10.1007/s11856-015-1191-7zbMath1371.03069OpenAlexW2206463118MaRDI QIDQ891070
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
Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55)
Related Items (13)
On the reduction property for GLP-algebras ⋮ Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\) ⋮ A topological completeness theorem for transfinite provability logic ⋮ Higher indescribability and derived topologies ⋮ The consistency strength of hyperstationarity ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ On properties of compacta that do not reflect in small continuous images ⋮ 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 ⋮ Topological Interpretations of Provability Logic ⋮ MÜNCHHAUSEN PROVABILITY
Cites Work
This page was built for publication: Reflection and indescribability in the constructible universe
