Essays about: "Gunnar Adamsson"

Found 1 essay containing the words Gunnar Adamsson.

  1. 1. Diagonalizable algebras and the length of proofs

    University essay from Göteborgs universitet/Institutionen för filosofi, lingvistik och vetenskapsteori

    Author : Gunnar Adamsson; [2011-11-28]
    Keywords : ;

    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. READ MORE