A generalized notion of weak interpretability and the corresponding modal logic

DOI10.1016/0168-0072(93)90201-NMaRDI QIDQ685075zbMATH OpenDBLPWikidataFDO

Authors Giorgie Dzhaparidze

Publication date 22 September 1993

Published in Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0168-0072(93)90201-N

zbMATH Keywords

cointerpretabilitydecidabilitygeneralized weak interpretabilityprovabilitysigma-one conservativitytolerance

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Relative consistency and interpretations (03F25) First-order arithmetic and fragments (03F30)

Review text

The paper introduces two interpretability-style relations between theories: tolerance (generalized weak interpretability) and cointerpretability. Intuitively, \(S\) is tolerant with \(T\) if \(T\) can be translated into \(S\) in such a way that the translation of any theorem of \(T\) is consistent with \(S\); and \(S\) cointerprets \(T\), if \(S\) can be translated into \(T\) in such a way that \(S\) proves every formula the translation of which is a theorem of \(T\). The set of all valid principles of tolerance is modal-logically axiomatized and its decidability is proven. As for cointerpretability, it turns out to be a characterization of sigma-one conservativity (over strong theories) in terms of translations.

Recommendations

• The formalization of interpretability
• scientific article; zbMATH DE number 1215477
• The interpretability logic of Peano arithmetic
• The logic of linear tolerance
• The principles of interpretability

Cites work

• Arithmetization of metamathematics in a general setting
• scientific article; zbMATH DE number 4174895 (Why is no real title available?)
• scientific article; zbMATH DE number 3957096 (Why is no real title available?)
• scientific article; zbMATH DE number 3976994 (Why is no real title available?)
• scientific article; zbMATH DE number 4010488 (Why is no real title available?)
• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• scientific article; zbMATH DE number 218496 (Why is no real title available?)
• scientific article; zbMATH DE number 220377 (Why is no real title available?)
• scientific article; zbMATH DE number 3395897 (Why is no real title available?)
• Partially Conservative Extensions of Arithmetic
• Provability interpretations of modal logic
• Relative Interpretations
• The interpretability logic of Peano arithmetic
• Undecidable theories

Cited in

(12)

• A mathematical characterization of interpretation between theories
• The logic of linear tolerance
• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
• Extension and interpretability
• A Modal Extension of Weak Generalisation Predicate Logic
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• Undecidability in diagonalizable algebras
• scientific article; zbMATH DE number 2099412 (Why is no real title available?)
• scientific article; zbMATH DE number 6290307 (Why is no real title available?)
• Essential hereditary undecidability
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• Transductions in arithmetic

This page was built for publication: A generalized notion of weak interpretability and the corresponding modal logic

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