Topological Interpretations of Provability Logic

DOI10.1007/978-94-017-8860-1_10zbMath1352.03070arXiv1210.7317OpenAlexW2142513931MaRDI QIDQ5255798

David Gabelaia, Lev D. Beklemishev

Publication date: 19 June 2015

Published in: Leo Esakia on Duality in Modal and Intuitionistic Logics (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1210.7317

zbMATH Keywords

provability logicscattered spacesGLPordinal topologies

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Scattered spaces (54G12) Descriptive set theory (topological aspects of Borel, analytic, projective, etc. sets) (54H05) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (12)

On the reduction property for GLP-algebras ⋮ Generalisations of stationarity, closed and unboundedness, and of Jensen's \(\square\) ⋮ Reflection and indescribability in the constructible universe ⋮ A topological approach to full belief ⋮ A topological completeness theorem for transfinite provability logic ⋮ COMPLETENESS OF THE GÖDEL–LÖB PROVABILITY LOGIC FOR THE FILTER SEQUENCE OF NORMAL MEASURES ⋮ The polytopologies of transfinite provability logic ⋮ Derived topologies on ordinals and stationary reflection ⋮ Forcing a \(\square(\kappa)\)-like principle to hold at a weakly compact cardinal ⋮ NON–WELL-FOUNDED DERIVATIONS IN THE GÖDEL-LÖB PROVABILITY LOGIC ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Provability and interpretability logics with restricted realizations
• Topological completeness of the provability logic GLP
• Kripke semantics for provability logic GLP
• The analytical completeness of Dzhaparidze's polymodal logics
• Some results on modal axiomatization and definability for topological spaces
• Reflection and indescribability in the constructible universe
• The consistency strength of ``every stationary set reflects
• Scattered and hereditarily irresolvable spaces in modal logic
• Some exact equiconsistency results in set theory
• The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic
• Self-reference and modal logic
• Provability interpretations of modal logic
• A survey of abstract algebraic logic
• Provability algebras and proof-theoretic ordinals. I
• The polytopologies of transfinite provability logic
• A Grim semantics for logics of belief
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• The algebra of topology
• Turing Progressions and Their Well-Orders
• Ordinal Completeness of Bimodal Provability Logic GLB
• A Topological Study of the Closed Fragment of GLP
• Handbook of Set Theory
• Solution of a problem of Leon Henkin
• Reflection principles and provability algebras in formal arithmetic
• Infinitary combinatorics and modal logic
• Algebraizable logics
• Topological aspects of suitable theories
• Reflecting stationary sets
• Gödel's diagonalization technique and related properties of theories
• Derivational Modal Logics with the Difference Modality
• On strong provability predicates and the associated modal logics
• Models of transfinite provability logic
• Worms, gaps, and hydras
• PFA implies AD^L(ℝ)
• Grundlagen der Mathematik I
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic

This page was built for publication: Topological Interpretations of Provability Logic