[FOM] typo, choice, and more reals

[Peter G. Hancock]

Andreas wrote:

    > Some years ago Steve Schanuel told me about the following construction of
    > the reals, which looks (to me) a lot less geometric than the familiar
    > ones.  Schanuel calls this construction the Eudoxus reals.

See also:

   Ross Street, "An efficient construction of the real numbers"
   Gazette Australian Mathematical Society, 12, 1985, pp 57-58

There's a posting by Street to a category-theory mailing list about
the provenance of this idea here:

  <http://north.ecc.edu/alsani/ct99-00(8-12)/msg00052.html>

(He also credits Schanuel, among others.)

Peter Hancock