On the reduction property for GLP-algebras

DOI10.1134/S106456241701015XzbMath1379.03020arXiv1606.00290MaRDI QIDQ2358595

Lev D. Beklemishev

Publication date: 15 June 2017

Published in: Doklady Mathematics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other algebras related to logic (03G25) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Related Items (3)

Provability multilattice logic ⋮ PREDICATIVITY THROUGH TRANSFINITE REFLECTION ⋮ Reflection calculus and conservativity spectra

Cites Work

• Unnamed Item
• Topological completeness of the provability logic GLP
• Kripke semantics for provability logic GLP
• Reflection and indescribability in the constructible universe
• Provability algebras and proof-theoretic ordinals. I
• A simplified proof of arithmetical completeness theorem for provability logic GLP
• Turing Jumps Through Provability
• Reflection principles and provability algebras in formal arithmetic
• Topological Interpretations of Provability Logic

This page was built for publication: On the reduction property for GLP-algebras