FOM: Reply to Friedman's ReplyToDavis

[Vaughan R. Pratt]

>From: "Vaughan R. Pratt" <pratt at CS.Stanford.EDU>
>Similar reasoning deals with the remaining bounded sequences that
>aren't canonical.  One then has to prove that it's an ordered field

Oops, overlooked that the "it" is ambiguous, since at this point we
have only the group of reals under addition, and taking any nonzero
real as the multiplicative unit determines a (unique) field.  They're
all isomorphic so it doesn't really matter, but for definiteness take 1.

Vaughan