A topological completeness theorem for transfinite provability logic

DOI10.1007/S00153-023-00863-9arXiv1609.03074OpenAlexW3020614086WikidataQ123282948 ScholiaQ123282948MaRDI QIDQ6103511

Juan P. Aguilera

Publication date: 5 June 2023

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

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

zbMATH Keywords

provability logicGLPtopological model

Mathematics Subject Classification ID

Scattered spaces (54G12) Ordinal and cardinal numbers (03E10) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• Topological completeness of the provability logic GLP
• Kripke semantics for provability logic GLP
• Reflection and indescribability in the constructible universe
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• The omega-rule interpretation of transfinite provability logic
• Provability algebras and proof-theoretic ordinals. I
• The polytopologies of transfinite provability logic
• Ordinal Completeness of Bimodal Provability Logic GLB
• Infinitary combinatorics and modal logic
• STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES
• Topological Interpretations of Provability Logic
• PREDICATIVITY THROUGH TRANSFINITE REFLECTION

This page was built for publication: A topological completeness theorem for transfinite provability logic