Date: Apr 4, 2013 5:19 PM
Author: Virgil
Subject: Re: Matheology � 224

In article 
<5f6f41ad-8806-4d97-8e54-d00fd898f458@cm2g2000vbb.googlegroups.com>,
WM <mueckenh@rz.fh-augsburg.de> wrote:

> On 4 Apr., 22:37, Virgil <vir...@ligriv.com> wrote:
>

> > > In the Binary Tree there is no stop at any path.
> >
> > By the time one has a path one has infinitely many nodes in it, at least
> > for a CIBT.

>
> Of course. If all FISONs are there, then all infinite paths are there
> too.

> >
> > > Or try (and fail) to define a limit
> > > that distinguishes both Binary Trees.

> >
> > The only binary tree of interest here is the Complete Infinite Binary
> > Tree in which each path is order isomorphic to |N.

>
> Of course.


Mirabile dictu: WM finally conceding to logic?.
--