GUPEA >
Student essays / Studentuppsatser >
Department of Philosophy,Lingustics and Theory of Science / Institutionen för filosofi, lingvistik och vetenskapsteori >
Magisteruppsatser >

On Rosser sentences and proof predicates


Please use this identifier to cite or link to this item: http://hdl.handle.net/2077/25475

Files in This Item:

File Description SizeFormat
gupea_2077_25475_1.pdf146KbAdobe PDF
View/Open
Title: On Rosser sentences and proof predicates
Authors: Blanck, Rasmus
Issue Date: 10-May-2011
Degree: Student essay
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 [4] 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
URI: http://hdl.handle.net/2077/25475
Appears in Collections:Magisteruppsatser

This item has been viewed 31 times.

 

 

© Göteborgs universitet 2011