Shavrukov's theorem on the subalgebras of diagonalizable algebras for theories containing \(I\Delta_ 0 + \exp\)
subalgebras of diagonalizable algebras of theories of arithmetic
scientific article; zbMATH DE number 638613