Provability and interpretability logics with restricted realizations

DOI10.1215/00294527-1715653zbMATH Open1255.03054OpenAlexW2086071144WikidataQ119883088 ScholiaQ119883088MaRDI QIDQ435232FDOQ435232

Authors Joost J. Joosten, Thomas F. III Icard 

Publication date 11 July 2012

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

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

zbMATH Keywords

provability logicinterpretability logicGLPlinear framesPRArestricted substitutions

Mathematics Subject Classification ID

Provability logics and related algebras (e.g., diagonalizable algebras) (03F45)

Abstract: The provability logic of a theory T is the set of modal formulas, which under any arithmetical realization are provable in T . We slightly modify this notion by requiring the arithmetical realizations to come from a specified set $Gamma$. We make an analogous modification for interpretability logics. This is a paper from 2012. We first studied provability logics with restricted realizations, and show that for various natural candidates of theory T and restriction set $Gamma$, where each sentence in $Gamma$ has a well understood (meta)-mathematical content in T, the result is the logic of linear frames. However, for the theory Primitive Recursive Arithmetic (PRA), we define a fragment that gives rise to a more interesting provability logic, by capitalizing on the well-studied relationship between PRA and I$Sigm{a}_1$. We then study interpretability logics, obtaining some upper bounds for IL(PRA), whose characterization remains a major open question in interpretability logic. Again this upper bound is closely relatively to linear frames. The technique is also applied to yield the non-trivial result that IL(PRA) $subset$ ILM.

Recommendations

• Interpretability in PRA
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• TWO NEW SERIES OF PRINCIPLES IN THE INTERPRETABILITY LOGIC OF ALL REASONABLE ARITHMETICAL THEORIES
• scientific article; zbMATH DE number 218496
• scientific article; zbMATH DE number 1215477

Cites work

• scientific article; zbMATH DE number 4059391 (Why is no real title available?)
• scientific article; zbMATH DE number 1215477 (Why is no real title available?)
• scientific article; zbMATH DE number 1215499 (Why is no real title available?)
• scientific article; zbMATH DE number 1045790 (Why is no real title available?)
• scientific article; zbMATH DE number 1170091 (Why is no real title available?)
• scientific article; zbMATH DE number 218514 (Why is no real title available?)
• scientific article; zbMATH DE number 3351517 (Why is no real title available?)
• A Finitary Treatment of the Closed Fragment of Japaridze's Provability Logic
• A new principle in the interpretability logic of all reasonable arithmetical theories
• A note on the normal form of closed formulas of interpretability logic
• A propositional logic with explicit fixed points
• A topological study of the closed fragment of GLP
• An effective fixed-point theorem in intuitionistic diagonalizable algebras. (The algebraization of the theories which express Theor. IX.)
• Bimodal logics for extensions of arithmetical theories
• Interpretability in PRA
• Kripke semantics for provability logic GLP
• Modal logic
• On n-quantifier induction
• On strong provability predicates and the associated modal logics
• On the limit existence principles in elementary arithmetic and \(\varSigma_{n}^{0}\)-consequences of theories
• On the proof of Solovay's theorem
• On the provability logic of bounded arithmetic
• Reflection principles and provability algebras in formal arithmetic
• Solution of a problem of Leon Henkin
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• The interpretability logic of Peano arithmetic
• The interpretability logic of all reasonable arithmetical theories. The new conjecture
• The logic of \(\Pi_ 1\)-conservativity
• The logic of \(\Pi_ 1\)-conservativity continued
• Undecidable theories
• Ways of proof theory. Collected papers by speakers of the colloquium and workshop held on the occasion of the retirement of Wolfram Pohlers, July 17--19, 2008, Münster, Germany

Cited in

(9)

• The polytopologies of transfinite provability logic
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Topological interpretations of provability logic
• The closed fragment of the interpretability logic of PRA with a constant for I\(\Sigma^1\)
• Interpretability degrees of finitely axiomatized sequential theories
• Provability in finite subtheories of PA and relative interpretability: a modal investigation
• Theory and application of labelling techniques for interpretability logics
• scientific article; zbMATH DE number 3269880 (Why is no real title available?)
• Interpretability suprema in Peano arithmetic

This page was built for publication: Provability and interpretability logics with restricted realizations

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