On the reduction property for GLP-algebras

DOI10.1134/S106456241701015XMaRDI QIDQ2358595zbMATH OpenFDO

Authors 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) Provability logics and related algebras (e.g., diagonalizable algebras) (03F45) Other algebras related to logic (03G25)

Abstract: We consider some natural generalizations to the class of all GLP-algebras of the so-called reduction property for reflection algebras in arithmetic. An analogue of this property is established for the free GLP-algebras and for some topological GLP-algebras (GLP-spaces).

Recommendations

• Linear \(\mathrm{GLP}\)-algebras and their elementary theories
• On provability logics with linearly ordered modalities
• scientific article; zbMATH DE number 5862929
• Free algebras for Gödel-Löb provability logic
• Kripke semantics for provability logic GLP

Cites work

• A simplified proof of arithmetical completeness theorem for provability logic GLP
• scientific article; zbMATH DE number 5862929 (Why is no real title available?)
• Kripke semantics for provability logic GLP
• Provability algebras and proof-theoretic ordinals. I
• Reflection and indescribability in the constructible universe
• Reflection principles and provability algebras in formal arithmetic
• Topological completeness of the provability logic GLP
• Topological interpretations of provability logic
• Turing Jumps Through Provability

Cited in

(4)

• PREDICATIVITY THROUGH TRANSFINITE REFLECTION
• Reflection calculus and conservativity spectra
• Provability multilattice logic
• On the unification problem for \(\operatorname{GLP} \)

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2358595)