Visar författare: "Adamsson, Gunnar"
-
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 ...