Please use this identifier to cite or link to this item:
|Title:||On Rosser sentences and proof predicates|
|Abstract:||It is a well known fact that the G ̈del sentences γ of a theory T are o all provably equivalent to the consistency statement of T , Con T . This result is independent from choice of proof predicate. It has been proved by Guaspari and Solovay  that this is not the case for Rosser sentences of T . There are proof predicates whose Rosser sentences are all provably equivalent and also proof predicates whose Rosser sentences are not all provably equivalent. This paper is an attempt to inves... more|
|Appears in Collections:||Magisteruppsatser|
This item has been viewed 36 times.