Studia Logica 50 (1):71 - 80 (1991)
It is shown that for arithmetical interpretations that may include free variables it is not the Guaspari-Solovay system R that is arithmetically complete, but their system R –. This result is then applied to obtain the nonvalidity of some rules under arithmetical interpretations including free variables, and to show that some principles concerning Rosser orderings with free variables cannot be decided, even if one restricts oneself to usual proof predicates.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Citations of this work BETA
No citations found.
Similar books and articles
Quantification Without Variables in Connectionism.John A. Barnden & Kankanahalli Srinivas - 1996 - Minds and Machines 6 (2):173-201.
Quantification Theory in *8 ofPrincipia Mathematicaand the Empty Domain.Gregory Landini - 2005 - History and Philosophy of Logic 26 (1):47-59.
Generic Generalized Rosser Fixed Points.Dick H. J. Jongh & Franco Montagna - 1987 - Studia Logica 46 (2):193 - 203.
On the Number of Experiments Suﬃcient and in the Worst Case Necessary to Identify All Causal Relations Among N Variables.Richard Scheines - unknown
Provability with Finitely Many Variables.Robin Hirsch, Ian Hodkinson & Roger D. Maddux - 2002 - Bulletin of Symbolic Logic 8 (3):348-379.
Modal Analysis of Generalized Rosser Sentences.Vítězslav Švejdar - 1983 - Journal of Symbolic Logic 48 (4):986-999.
On the Proof of Solovay's Theorem.Dick Jongh, Marc Jumelet & Franco Montagna - 1991 - Studia Logica 50 (1):51 - 69.
Added to index2009-01-28
Total downloads3 ( #687,423 of 2,153,331 )
Recent downloads (6 months)2 ( #281,037 of 2,153,331 )
How can I increase my downloads?