Rosser orderings and free variables (Q1176097): Difference between revisions
From MaRDI portal
Created a new Item |
Set OpenAlex properties. |
||
(5 intermediate revisions by 4 users not shown) | |||
Property / author | |||
Property / author: Dick H. J. de Jongh / rank | |||
Property / reviewed by | |||
Property / reviewed by: Osamu Sonobe / rank | |||
Property / author | |||
Property / author: Dick H. J. de Jongh / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Osamu Sonobe / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Rosser sentences / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A simplification of a completeness proof of Guaspari and Solovay / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Provable Fixed Points / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Self-reference and modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Provability interpretations of modal logic / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf00370388 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W1984196478 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 10:00, 30 July 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