The polytopologies of transfinite provability logic
From MaRDI portal
Publication:2449857
DOI10.1007/s00153-014-0371-1zbMath1352.03071arXiv1207.6595OpenAlexW2008207340WikidataQ58883286 ScholiaQ58883286MaRDI QIDQ2449857
Publication date: 12 May 2014
Published in: Archive for Mathematical Logic (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1207.6595
Scattered spaces (54G12) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)
Related Items
Hyperarithmetical worm battles ⋮ Deducibility and independence in Beklemishev's autonomous provability calculus ⋮ A topological completeness theorem for transfinite provability logic ⋮ The omega-rule interpretation of transfinite provability logic ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ On provability logics with linearly ordered modalities ⋮ Derived topologies on ordinals and stationary reflection ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ Topological Interpretations of Provability Logic ⋮ MÜNCHHAUSEN PROVABILITY
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions
- Provability and interpretability logics with restricted realizations
- On provability logics with linearly ordered modalities
- Topological completeness of the provability logic GLP
- Kripke semantics for provability logic GLP
- Some results on modal axiomatization and definability for topological spaces
- Reflection and indescribability in the constructible universe
- Proof theory. The first step into impredicativity
- Scattered and hereditarily irresolvable spaces in modal logic
- Provability interpretations of modal logic
- Provability algebras and proof-theoretic ordinals. I
- Ordinal Completeness of Bimodal Provability Logic GLB
- A Topological Study of the Closed Fragment of GLP
- Infinitary combinatorics and modal logic
- Well-orders in the transfinite Japaridze algebra
- Topological Interpretations of Provability Logic
- On strong provability predicates and the associated modal logics
- Models of transfinite provability logic
