Abstract
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.
Similar content being viewed by others
References
Guaspari, D. and R.M. Solovay, Rosser Sentences, Annals of Mathematical Logic, 16, pp. 81–99, 1979.
de Jongh, D.H.J., Waiting for the Bell, in preparation, A.
de Jongh, D.H.J., A Simplification of a Completeness Proof of Guaspari and Solovay Studia Logica 46, pp. 187–192, 1987.
de Jongh, D.H.J. and F. Montagna, Provable Fixed Points, Zeitschrift für Mathematische Logik und Grundlagen der Mathematik 34, pp. 229–250, 1988.
Smoryński, C., Self-reference and Modal Logic, Springer, New York, 1985.
Solovay, R.M., Provability Interpretations of Modal Logic, Israel Journal of Mathematics, vol. 25, pp. 287–304, 1976.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
de Jongh, D., Montagna, F. Rosser orderings and free variables. Stud Logica 50, 71–80 (1991). https://doi.org/10.1007/BF00370388
Issue Date:
DOI: https://doi.org/10.1007/BF00370388