Please use this identifier to cite or link to this item:
|Title:||Diagonalizable algebras and the length of proofs|
|Abstract:||We rederive a theorem of Shavrukov  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|
|Appears in Collections:||Magisteruppsatser|
This item has been viewed 39 times.