Re: Review of Mueckenheims book.



In article <1172771927.176281.193980@xxxxxxxxxxxxxxxxxxxxxxxxxxxx>,
mueckenh@xxxxxxxxxxxxxxxxx wrote:


I do not define C(oo) *starting from the complete tree* T(oo) but
using the union U(T(n)) of the finite trees, (because it is in
question whether T(oo) = U(T(n))).

If T(oo) is the complete infinite binary tree but U(T(n))) is not, then
none of WM's arguments about T(oo) are valid.
.