ML-1992-05: Domenico Zambella Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories containing ID0 + EXP 1.Full Text. < Back