Recursively saturated models generated by indiscernibles
countable recursively saturated model of Peano arithmetic
scientific article; zbMATH DE number 3765764