Re: Approaching the infinite binary tree

On Sep 28, 3:37 am, LudovicoVan <ju...@xxxxxxxxxxxxx> wrote:
I am thinking along the following lines, and I'd greatly appreciate
some feedback.

Given the set of the extended naturals: N* := N u {w}, where
'w' (omega) is the limit ordinal.

Let's consider the infinite binary tree, that is -informally- a binary
tree with w levels.

You seem to mean by this that you have a last level, the one
indexed by w. This is by no means what essentially every one
means by `the infinite binary tree', and in fact this means
pretty much nothing, unless you actually tell us what you
mean by it. `Informally' is really not good enough.

-- m
.