[FOM] Eudoxus Real Numbers

[Rob Arthan]

There have been some discussions on FOM from time of what Schanuel calls the 
Eudoxus Real Numbers. I have put a write-up of my take on this construction 
of the real numbers and the generalisation that was discussed on FOM last 
year with as much of the history as I have been able to elicit from Steve 
Schanuel and others in the Mathematics ArXiv at:

    http://front.math.ucdavis.edu/math.HO/0405454

Regards,

Rob.