A note on initial segment constructions in recursively saturated models of arithmetic
scientific article; zbMATH DE number 3821735