[FOM] Order type of non-standard models

[Fredrik Engström]

For those of you interested, I can recommend the paper:

Bovykin, Andrey(FIN-HELS); Kaye, Richard(4-BIRM-SM)
Order-types of models of Peano arithmetic.
Logic and algebra, 275--285,
Contemp. Math., 302,

It is an survey of te subject (but with no reference to the result in
question).

Best regards,
Fredrik Engström