Abstract
Recently Shakurov pioneered the study of subalgebras of diagonalizable algebras of theories of arithmetic. We show that his results extend to weaker theories (namely to theories containing $I\Delta_0 + {\rm exp}$).
Citation
Domenico Zambella. "Shavrukov's Theorem on the Subalgebras of Diagonalizable Algebras for Theories Containing $I\Delta_{0} + \hbox{exp}$." Notre Dame J. Formal Logic 35 (1) 147 - 157, Winter 1994. https://doi.org/10.1305/ndjfl/1040609301
Information