Results 1 
6 of
6
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 32 (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.
No Escape from Vardanyan’s Theorem
, 2003
"... Vardanyan’s Theorem states that the set of PAvalid principles of Quantified Modal Logic, QML, is complete Π 0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum’s Theorem. ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
Vardanyan’s Theorem states that the set of PAvalid principles of Quantified Modal Logic, QML, is complete Π 0 2. We generalize this result to a wide class of theories. The crucial step in the generalization is avoiding the use of Tennenbaum’s Theorem.
Problems in the Logic of Provability
, 2005
"... In the first part of the paper we discuss some conceptual problems related to the notion of proof. In the second part we survey five major open problems in Provability Logic as well as possible directions for future research in this area. 1 ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In the first part of the paper we discuss some conceptual problems related to the notion of proof. In the second part we survey five major open problems in Provability Logic as well as possible directions for future research in this area. 1
Logic Group 'reprint Series
, 1995
"... Abstract. For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation `F interprets R ' in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of IIl (as well as E1) sentences ..."
Abstract
 Add to MetaCart
Abstract. For finitely axiomatized sequential theories F and reflexive theories R, we give a characterization of the relation `F interprets R ' in terms of provability of restricted consistency statements on cuts. This characterization is used in a proof that the set of IIl (as well as E1) sentences yr s.t. GB interprets ZF + Tr is E3complete. Relative interpretability among formal theories has been particularly well studied in two specific cases: that of finitely axiomatized sequential theories (see Smorynski [14], Pudlak [11], Visser [16] etc.), and of reflexive, esp. essentially reflexive theories (see Lindstrom [7], [8] etc.). We have nice characterizations of the interpretability relation between a pair of theories
WHAT IS THE RIGHT NOTION OF SEQUENTIALITY?
"... Abstract. In this paper we give an informally semirigorous explanation of the notion of sequentiality. We argue that the classical definition, due to Pudlák, is slightly too narrow. We propose a wider notion msequentiality as the notion that precisely captures the intuitions behind sequentiality. ..."
Abstract
 Add to MetaCart
Abstract. In this paper we give an informally semirigorous explanation of the notion of sequentiality. We argue that the classical definition, due to Pudlák, is slightly too narrow. We propose a wider notion msequentiality as the notion that precisely captures the intuitions behind sequentiality. The paper provides all relevant separating examples minus one. 1.