Interpretability over peano arithmetic

Journal of Symbolic Logic 64 (4):1407-1425 (1999)
We investigate the modal logic of interpretability over Peano arithmetic. Our main result is a compactness theorem that extends the arithmetical completeness theorem for the interpretability logic ILM ω . This extension concerns recursively enumerable sets of formulas of interpretability logic (rather than single formulas). As corollaries we obtain a uniform arithmetical completeness theorem for the interpretability logic ILM and a partial answer to a question of Orey from 1961. After some simplifications, we also obtain Shavrukov's embedding theorem for Magari algebras (a.k.a. diagonalizable algebras)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2586787
 Save to my reading list
Follow the author(s)
Edit this record
My bibliography
Export citation
Find it on Scholar
Mark as duplicate
Request removal from index
Revision history
Download options
Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 30,934
Through your library
References found in this work BETA
Relative Interpretations.Steven Orey - 1961 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 7 (7-10):146-153.
Relative Interpretations.Steven Orey - 1961 - Mathematical Logic Quarterly 7 (7‐10):146-153.

View all 6 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles
A Model of Peano Arithmetic with No Elementary End Extension.George Mills - 1978 - Journal of Symbolic Logic 43 (3):563-567.
The Interpretability Logic of Peano Arithmetic.Alessandro Berarducci - 1990 - Journal of Symbolic Logic 55 (3):1059-1089.
Quantum Mathematics.J. Michael Dunn - 1980 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1980:512 - 531.
Modal Analysis of Generalized Rosser Sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
Added to PP index

Total downloads
12 ( #417,726 of 2,214,209 )

Recent downloads (6 months)
2 ( #240,937 of 2,214,209 )

How can I increase my downloads?

Monthly downloads
My notes
Sign in to use this feature