[FOM] Completeness in non-standard analysis

Tjark Weber tjark.weber at gmx.de
Sun May 20 21:12:22 EDT 2007


On Monday 21 May 2007 01:17, Jorge M. Lopez wrote:
> Then in one of the resulting subintervals (of infinitesimal length) there
> must be a real number


> it is not at all clear that the completeness of the real numbers gets used
> at all.

Ah.  No?


More information about the FOM mailing list