Date: Dec 29, 2012 12:22 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Distinguishability of paths of the Infinite Binary tree???

On 28 Dez., 23:04, Virgil <vir...@ligriv.com> wrote:
> In article
> <2925a2ea-c16d-483e-91da-3bb0084e7...@b16g2000vbh.googlegroups.com>,
>
>  WM <mueck...@rz.fh-augsburg.de> wrote:

> > On 27 Dez., 21:49, Virgil <vir...@ligriv.com> wrote:
>
> > > > It is the set
> > > > of all finite paths extending from the root node to a given node.

>
> > > In every Complete Infinite Binary Tree, every finite path ends at the
> > > root node of of another Complete Infinite Binary Tree. So for every
> > > finite path, there are uncountably many extensions of it in every
> > > Complete Infinite Binary Tree.

>
> > And every extension is contained in the CIBT constructed from all
> > finite paths.

>
> Claimed but never proven.


Definitions need not be proven.

Regards, WM