Browsing by Author "Adamsson, Gunnar"
Now showing items 1-1 of 1
-
Diagonalizable algebras and the length of proofs
Adamsson, Gunnar (2011-11-28)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 ...