Derived topologies on ordinals and stationary reflection

DOI10.1090/TRAN/7366MaRDI QIDQ4644955zbMATH OpenOpenAlexFDO

Authors 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) Other combinatorial set theory (03E05) Consistency and independence results (03E35) Consistency and independence results in general topology (54A35) Scattered spaces (54G12) Ordinal and cardinal numbers (03E10) Large cardinals (03E55) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Inner models, including constructibility, ordinal definability, and core models (03E45)

Recommendations

• Full Reflection of Stationary Sets at Regular Cardinals
• Reflection and indescribability in the constructible universe
• Ideal topologies in higher descriptive set theory
• Stationary cardinals
• scientific article; zbMATH DE number 591261

Cites work

• scientific article; zbMATH DE number 5862929 (Why is no real title available?)
• scientific article; zbMATH DE number 702561 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 1762597 (Why is no real title available?)
• scientific article; zbMATH DE number 4195937 (Why is no real title available?)
• scientific article; zbMATH DE number 3422371 (Why is no real title available?)
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• A topological study of the closed fragment of GLP
• Infinitary combinatorics and modal logic
• Kripke semantics for provability logic GLP
• Models of transfinite provability logic
• On provability logics with linearly ordered modalities
• On strong provability predicates and the associated modal logics
• Ordinal completeness of bimodal provability logic GLB
• Provability algebras and proof-theoretic ordinals. I
• Provability interpretations of modal logic
• Reflecting stationary sets
• Reflection and indescribability in the constructible universe
• Reflection principles and provability algebras in formal arithmetic
• Set Theory
• Set theory. An introduction to large cardinals
• Squares, scales and stationary reflection
• Stationary sets
• Strong completeness of provability logic for ordinal spaces
• The consistency strength of ``every stationary set reflects
• The fine structure of the constructible hierarchy
• The omega-rule interpretation of transfinite provability logic
• The polytopologies of transfinite provability logic
• Topological completeness of the provability logic GLP
• Topological interpretations of provability logic
• Well-orders in the transfinite Japaridze algebra

Cited in

(10)

• Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal
• Two-cardinal ideal operators and indescribability
• Higher indescribability and derived topologies
• The consistency strength of hyperstationarity
• Ideal topologies in higher descriptive set theory
• Ramsey-like operators
• Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\)
• A refinement of the Ramsey hierarchy via indescribability
• IDEAL OPERATORS AND HIGHER INDESCRIBABILITY
• COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4644955)