Order-types of models of arithmetic and a connection with arithmetic saturation. Bovykin, Andrey — 2004 Lobachevskii Journal of Mathematics