FOM: Reply to Friedman's ReplyToDavis

Vaughan R. Pratt pratt at cs.Stanford.EDU
Wed Nov 12 00:24:07 EST 1997

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


More information about the FOM mailing list