Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
4662314 | Annals of Pure and Applied Logic | 2008 | 6 Pages |
Abstract
An oversight in Guaspari and Solovay’s “Rosser sentences” [D. Guaspari, R.M. Solovay, Rosser sentences, Annals of Mathematical Logic 16 (1) (1979) 81–99] is pointed out and emended. It concerns the premisses of their proof that there are standard proof predicates all of whose Rosser sentences are provably equivalent. The result holds up, but the premisses mentioned in the paper have to be strengthened somewhat.
Related Topics
Physical Sciences and Engineering
Mathematics
Logic