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