On the proof of Solovay's theorem, Studia Logica, 50, pp. 51--70. D. H. J. de Jongh and F. Montagna Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
The Logic of Provability - Japaridze, de Jongh (1998) (13 citations) (Correct)
....recognize reasoning about more complex notions like interpretability where arithmetic can be shown to reason adequately, and also to strengthen Solovay s results directly. Extensive overviews on the subject can be found in Boolos [1993b] and Smory nski [1985] a short history in Boolos and Sambin [1991]. Let us proceed somewhat farther in formulating Solovay s theorems, and call an arithmetic realization of the language of modal logic (see section 2) into the language of the arithmetic theory T ( Sigma 1 sound and extending I Sigma 1 , sometimes I Delta 0 ) a mapping that commutes with the ....
....be valid in all transitive models of ZF , which happens to be a proper extension of L (see Boolos [1993b] If one is somewhat careful, Solovay s construction can be adapted to show that Solovay s theorems hold for all (r.e. sound) extensions of I Delta 0 EXP (de Jongh, Jumelet and Montagna [1991]) The two theorems formulated earlier in this section can be similarly generalized. However, the most intriguing question, whether 488 G. Japaridze and D. de Jongh Solovay s theorems hold for essentially weaker theories, such as Buss s S 1 2 or even S 2 , remains open. This problem was ....
[Article contains additional citation context not shown here]
On the proof of Solovay's theorem, Studia Logica, 50, pp. 51--70. D. H. J. de Jongh and F. Montagna
Erdös Graphs Resolve Fine's Canonicity Problem - Goldblatt, Hodkinson, Venema (2003) Self-citation (Canonicity) (Correct)
No context found.
, On the canonicity of Sahlqvist identities, Studia Logica, vol. 53 (1994), pp. 473--491.
Erdös Graphs Resolve Fine's Canonicity Problem - Goldblatt, Hodkinson, Venema (2004) Self-citation (Canonicity) (Correct)
No context found.
, On the canonicity of Sahlqvist identities, Studia Logica, vol. 53 (1994), pp. 473--491.
Chapter Vii - The Logic Of (1968) (1 citation) (Correct)
No context found.
On the proof of Solovay's theorem, Studia Logica, 50, pp. 51--70. D. H. J. de Jongh and F. Montagna
Modal Languages And Bounded Fragments Of Predicate Logic - Andréka, van Benthem, Németi (1996) (4 citations) (Correct)
No context found.
'On Universal Algebraic Construction of Logics', Studia Logica 36, 9-47. H. Andréka & I. Németi
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC