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

Diagonalizable algebras and the length of proofs


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

Files in This Item:

File Description SizeFormat
gupea_2077_28021_1.pdf225KbAdobe PDF
View/Open
Title: Diagonalizable algebras and the length of proofs
Authors: Adamsson, Gunnar
Issue Date: 28-Nov-2011
Degree: Student essay
Abstract: We rederive a theorem of Shavrukov [17] on the diagonaliz- able algebras of PA and ZF using an approach that differs ever-so slightly from the original. This gives a somewhat stronger result (which was im- plicit in the original proof) that we, coupled with a more careful analysis of the Parikh speed-up phenomenon, put to use by giving examples of how different choices of provability predicates for a given theory T can lead to non-isomorphic algebras. We also show that, by a minor tweak, t... more
URI: http://hdl.handle.net/2077/28021
Appears in Collections:Magisteruppsatser

This item has been viewed 32 times.

 

 

© Göteborgs universitet 2011