Derived topologies on ordinals and stationary reflection

DOI10.1090/tran/7366zbMath1472.03048MaRDI QIDQ4644955

Joan Bagaria

Publication date: 9 January 2019

Published in: Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1090/tran/7366

zbMATH Keywords

stationary reflection; ordinals; indescribable cardinals; derived topology

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03E35: Consistency and independence results

03E45: Inner models, including constructibility, ordinal definability, and core models

03E55: Large cardinals

54G12: Scattered spaces

54A35: Consistency and independence results in general topology

03E05: Other combinatorial set theory

03E10: Ordinal and cardinal numbers

03F45: Provability logics and related algebras (e.g., diagonalizable algebras)

Related Items

Ramsey-like operators, The consistency strength of hyperstationarity, A REFINEMENT OF THE RAMSEY HIERARCHY VIA INDESCRIBABILITY, Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\), IDEAL OPERATORS AND HIGHER INDESCRIBABILITY, Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• On provability logics with linearly ordered modalities
• Topological completeness of the provability logic GLP
• Kripke semantics for provability logic GLP
• Reflection and indescribability in the constructible universe
• The consistency strength of ``every stationary set reflects
• Set theory. An introduction to large cardinals
• Provability interpretations of modal logic
• The omega-rule interpretation of transfinite provability logic
• Provability algebras and proof-theoretic ordinals. I
• The polytopologies of transfinite provability logic
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• SQUARES, SCALES AND STATIONARY REFLECTION
• Ordinal Completeness of Bimodal Provability Logic GLB
• Stationary Sets
• A Topological Study of the Closed Fragment of GLP
• Reflection principles and provability algebras in formal arithmetic
• Infinitary combinatorics and modal logic
• Well-orders in the transfinite Japaridze algebra
• Reflecting stationary sets
• Set Theory
• STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
• Topological Interpretations of Provability Logic
• On strong provability predicates and the associated modal logics
• Models of transfinite provability logic
• The fine structure of the constructible hierarchy