Date: Dec 28, 2012 12:15 PM
Author: mueckenh@rz.fh-augsburg.de
Subject: Re: Distinguishability of paths of the Infinite Binary tree???
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.

Regards, WM