Results 1 
3 of
3
Interpretability logic
 Mathematical Logic, Proceedings of the 1988 Heyting Conference
, 1990
"... Interpretations are much used in metamathematics. The first application that comes to mind is their use in reductive Hilbertstyle programs. Think of the kind of program proposed by Simpson, Feferman or Nelson (see Simpson[1988], Feferman[1988], Nelson[1986]). Here they serve to compare the strength ..."
Abstract

Cited by 42 (9 self)
 Add to MetaCart
Interpretations are much used in metamathematics. The first application that comes to mind is their use in reductive Hilbertstyle programs. Think of the kind of program proposed by Simpson, Feferman or Nelson (see Simpson[1988], Feferman[1988], Nelson[1986]). Here they serve to compare the strength of theories, or better to prove
The Interpretability Logic of all Reasonable Arithmetical Theories
 ERKENNTNIS
, 1999
"... This paper is a presentation of a status quaestionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question. ..."
Abstract

Cited by 9 (5 self)
 Add to MetaCart
This paper is a presentation of a status quaestionis, to wit of the problem of the interpretability logic of all reasonable arithmetical theories. We present both the arithmetical side and the modal side of the question.
The Predicative Frege Hierarchy
, 2006
"... In this paper, we characterize the strength of the predicative Frege hierarchy, P n+1 V, introduced by John Burgess in his book [Bur05]. We show that P n+1 V and Q + con n (Q) are mutually interpretable. It follows that PV: = P 1 V is mutually interpretable with Q. This fact was proved earlier by Mi ..."
Abstract

Cited by 3 (0 self)
 Add to MetaCart
In this paper, we characterize the strength of the predicative Frege hierarchy, P n+1 V, introduced by John Burgess in his book [Bur05]. We show that P n+1 V and Q + con n (Q) are mutually interpretable. It follows that PV: = P 1 V is mutually interpretable with Q. This fact was proved earlier by Mihai Ganea in [Gan06] using a different proof. Another consequence of the our main result is that P 2 V is mutually interpretable with Kalmar Arithmetic (a.k.a. EA, EFA, I∆0+EXP, Q3). The fact that P 2 V interprets EA, was proved earlier by Burgess. We provide a different proof. Each of the theories P n+1 V is finitely axiomatizable. Our main result implies that the whole hierarchy taken together, P ω V, is not finitely axiomatizable. What is more: no theory that is mutually locally interpretable