Elementary extensions of recursively saturated models of arithmetic
countable nonstandard models of arithmetic
scientific article; zbMATH DE number 3792158