Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for TheoriesContaining I(Delta(Sub 0)) + exp

摘要

Shavrukov's study of subalgebras of diagonalizable algebras of theories ofarithmetic is addressed. A study aimed at showing that his results extend to weaker theories (namely to theories containing I(delta(sub 0))+exp) is presented.