A remark on equivalent Rosser sentences (Q2470037)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A remark on equivalent Rosser sentences |
scientific article |
Statements
A remark on equivalent Rosser sentences (English)
0 references
13 February 2008
0 references
The paper is devoted to the discussion of an oversight in the paper by \textit{D. Guaspari} and \textit{R. M. Solovay} [``Rosser sentences'', Ann. Math. Logic 16, 81--99 (1979; Zbl 0426.03062)]. This oversight is emended. It concerns the premisses of Guaspari and Solovay's proof. It is shown that the result holds up but the premisses mentioned in the original paper have to be strengthened.
0 references
proof predicate
0 references
Rosser sentence
0 references
provability logic
0 references
