FOM: Formal power series are Archimedean

[Vaughan R. Pratt]

>Non-Archimedean extensions of the reals R were well known long before
>Robinson. His key contribution was such an extension R* for which the same
>sentences that are true of R are true of R*.

What's not Archimedean about formal power series?  There is always a
scaling factor for any nonzero formal power series that will increase
it beyond any given limit.

What sentence true of R fails for formal power series over the reals?

Vaughan