Interpretability over peano arithmetic

DOI10.2307/2586787MaRDI QIDQ4948517zbMATH OpenOpenAlexFDO

Authors Claes Strannegård

Publication date 8 October 2000

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2586787

zbMATH Keywords

arithmetical interpretationextensions of arithmetical completeness theoreminterpretability logicmodal logicrecursively enumerable sets of modal formulas

Mathematics Subject Classification ID

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

Recommendations

• On the proofs of arithmetical completeness for interpretability logic
• Interpolation and the interpretability logic of PA
• The logic of \(\Pi_ 1\)-conservativity
• scientific article; zbMATH DE number 1215477

Cites work

• A note on the diagonalizable algebras of PA and ZF
• Handbook of proof theory
• scientific article; zbMATH DE number 51556 (Why is no real title available?)
• Provability interpretations of modal logic
• Relative Interpretations
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Self-reference and modal logic
• Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
• The interpretability logic of Peano arithmetic

Cited in

(10)

• Interpretability in PRA
• Interpretations of Presburger arithmetic in itself
• scientific article; zbMATH DE number 440479 (Why is no real title available?)
• scientific article; zbMATH DE number 1303440 (Why is no real title available?)
• scientific article; zbMATH DE number 1097010 (Why is no real title available?)
• Characterizations of interpretability in bounded arithmetic
• An overview of Verbrugge semantics, a.k.a. generalised Veltman semantics
• An arithmetical completeness theorem for pre-permutations
• On the proofs of arithmetical completeness for interpretability logic
• The logic of \(\Pi_ 1\)-conservativity

This page was built for publication: Interpretability over peano arithmetic

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