Interpretability over peano arithmetic

DOI10.2307/2586787zbMath0945.03027OpenAlexW2009475810MaRDI QIDQ4948517

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

modal logicinterpretability logicarithmetical interpretationrecursively enumerable sets of modal formulasextensions of arithmetical completeness theorem

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• A note on the diagonalizable algebras of PA and ZF
• Self-reference and modal logic
• Provability interpretations of modal logic
• Representation and duality theory for diagonalizable algebras. (The algebraization of theories which express Theor. IV.)
• Handbook of proof theory
• Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
• The interpretability logic of Peano arithmetic
• Relative Interpretations

This page was built for publication: Interpretability over peano arithmetic