```Date: Jan 1, 2013 8:08 PM
Author: ross.finlayson@gmail.com
Subject: Re: Uncountable Diagonal Problem

On Jan 1, 4:05 pm, Virgil <vir...@ligriv.com> wrote:> In article> <d0cf5fff-92d8-4229-aec3-499754ae6...@r10g2000pbd.googlegroups.com>,>  "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:>>>>>>>>>> > On Jan 1, 2:57 pm, Virgil <vir...@ligriv.com> wrote:> > > In article> > > <659c05ff-5b34-4ebe-9617-4d54292a9...@pp8g2000pbb.googlegroups.com>,> > >   "Ross A. Finlayson" <ross.finlay...@gmail.com> wrote:>> > > > The transfinite course-of-passage in well-ordering the reals sees> > > > a diminishing interval.  Do the endpoints of the interval meet,> > > > in the well-ordering?  A critical point of Cantor's first is that> > > > the intersection is non-empty.>> > > It is a well known property of the real number line, at least among> > > Mathematicians, that a nested sequence of closed intervals has> > > non-empty Intersection.>> > > Does Ross claim otherwise? -->> >http://www.tiki-lounge.com/~raf/finlayson_injectrationals.pdf>> That paper, even if it were valid, would not invalidate that a nested> sequence of closed intervals in R necessarily has non-empty intersection.> --So, is the intersection in the proof for the first statement non-empty?  That is the emphasized note starting "It is so...".Here, the consideration is of the nested intervals, formed a laCantor's first, from a well-ordering of the reals.  From limit ordinalto limit ordinal, the endpoints may converge.  The intervals as youclaim would be non-empty.  Then there are two cases with no duplicatesin the range, a) the interval is degenerate and a later value plugsthe gap, b) the interval is standardly real-valued in measure and onlysome later value, beyond the _next_ limit ordinal, fills all the gap.Yet, it is never complete until the gap is plugged.So, how can the gap ever be plugged?  There is the dichotomy that theconvergent sequences from above and below have values closer to thelimit than each epsilon, but that there is an epsilon for the limitbounding an empty neighborhod for each value in the sequence.The sequences can converge in the countable, and be plugged at aconsequent countable limit ordinal.  The only reason they don't is asper "uncountability".So, there couldn't be uncountably many nestings of the interval, itmust be countable as there would be rationals between each of those.Yet, then the gap is plugged in the countable: for any possible valuethat it could be.  This is where, there aren't uncountably many limitsthat could be reached, that each could be tossed to the end of thewell-ordering that the nestings would be uncountable.  Then there areonly countably many limit points as converging nested intervals, but,that doesn't correspond that there would be uncountably many limitpoints in the reals.So, you agree the intersection of non-disjoint closed intervals is:non-empty?Regards,Ross Finlayson
```