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)

zbMATH Keywords

tolerancedecidabilityprovabilitycointerpretabilitygeneralized weak interpretabilitysigma-one conservativity

Mathematics Subject Classification ID

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

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

• 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?)
• Arithmetization of metamathematics in a general setting
• 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
• scientific article; zbMATH DE number 2099412 (Why is no real title available?)
• Essential hereditary undecidability
• Undecidability in diagonalizable algebras
• A Modal Extension of Weak Generalisation Predicate Logic
• scientific article; zbMATH DE number 5295715 (Why is no real title available?)
• Transductions in arithmetic
• Extension and interpretability
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• A simple proof of arithmetical completeness for \(\Pi_ 1\)-conservativity logic
• The logic of linear tolerance
• scientific article; zbMATH DE number 6290307 (Why is no real title available?)

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)