X-1991-03: V. Yu. Shavrukov Subalgebras of Diagonalizable Algebras of Theories containing Arithmetic (superseded by X-1991-15) 1.Full Text. < Back
