Rosser orderings and free variables (Q1176097): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
links / mardi / name | links / mardi / name | ||
Revision as of 00:26, 30 January 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Rosser orderings and free variables |
scientific article |
Statements
Rosser orderings and free variables (English)
0 references
25 June 1992
0 references
Guaspari and Solovay have proposed the arithmetically complete modal system \(R\) of provability in the case where Rosser sentences are taken into account. In this paper the authors prove that if free variables are included, the arithmetically complete system is not \(R\) but \(R^ -\) of Guaspari and Solovay, which has been introduced for the sake of \(R\) first. From this completeness result, there follow the non-validity of some rules and that some principles concerning Rosser orderings cannot be decided even by the usual proof predicates in the case where free variables are included.
0 references
provability logic
0 references
arithmetical completeness
0 references
witness comparison
0 references
Rosser sentences
0 references
Rosser orderings
0 references