Derived topologies on ordinals and stationary reflection

DOI10.1090/TRAN/7366zbMATH Open1472.03048OpenAlexW2753079303MaRDI QIDQ4644955FDOQ4644955

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

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

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)

Cites Work

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

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)