Search
Now showing items 1-1 of 1
Diagonalizable algebras and the length of proofs
(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 ...