Derived topologies on ordinals and stationary reflection

DOI10.1090/TRAN/7366zbMath1472.03048OpenAlexW2753079303MaRDI 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 reflectionordinalsindescribable cardinalsderived topology

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Consistency and independence results (03E35) Inner models, including constructibility, ordinal definability, and core models (03E45) Large cardinals (03E55) Scattered spaces (54G12) Consistency and independence results in general topology (54A35) Other combinatorial set theory (03E05) Ordinal and cardinal numbers (03E10) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (8)

Ramsey-like operators ⋮ Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\) ⋮ IDEAL OPERATORS AND HIGHER INDESCRIBABILITY ⋮ COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES ⋮ Higher indescribability and derived topologies ⋮ The consistency strength of hyperstationarity ⋮ A REFINEMENT OF THE RAMSEY HIERARCHY VIA 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

This page was built for publication: Derived topologies on ordinals and stationary reflection