FOM: Formal power series are Archimedean

Vaughan R. Pratt pratt at cs.Stanford.EDU
Wed Nov 12 14:11:03 EST 1997

>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?


More information about the FOM mailing list