Shavrukov s Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Delta::0s:: + exp

Domenico Zambella. Shavrukov s Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing I Delta::0s:: + exp. Notre Dame Journal of Formal Logic, 35(1):147-157, 1994.

Abstract

Abstract is missing.