Derived topologies on ordinals and stationary reflection
From MaRDI portal
Publication:4644955
DOI10.1090/tran/7366zbMath1472.03048MaRDI QIDQ4644955
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
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, COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES, Higher indescribability and derived topologies, 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