Rosser orderings and free variables |
| |
Authors: | Dick de Jongh Franco Montagna |
| |
Institution: | (1) Department of Mathematics and Computer Science, University of Amsterdam, The Netherlands;(2) Department of Mathematics, University of Siena, Italy |
| |
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. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|