Date: Dec 31, 2012 12:48 AM
Author: Virgil
Subject: Re: Uncountable Diagonal Problem

In article 
<379c8a07-1e79-42ca-93e0-494f6444ab6a@pp8g2000pbb.googlegroups.com>,
"Ross A. Finlayson" <ross.finlayson@gmail.com> 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!
--