A sharpened version of McAloon's theorem on initial segments of models of \(I\Delta_ 0\)
scientific article; zbMATH DE number 416880
scientific article