In article <email@example.com>, "Ross A. Finlayson" <firstname.lastname@example.org> wrote:
> Here, I was wondering that for nested intervals in the transfinite, > that the interval wouldn't be empty for two different endpoints (else > it could be for a countable ordinal), that there would be a duplicate, > i.e., that the well-ordering of the reals could be onto yet not 1-1.
That looks a bit like English, but not at all like mathematics. > > Of course I think EF is a function with range [0,1], that well-orders > the unit interval of reals, with the caveat as above that it follows > from an expanded definition of real number, while of course that it is > standardly modeled by real functions.
Ross mentioning his alleged "EF" shows him to be "EF"ing crazy! --