Ein Satz über topologische Bäume. (Q1828166)

(Bericht über einen Vortrag.) Es werden Baumkomplexe betrachtet, die folgendermaßen konstruiert sind: Man beginnt mit einer gerichteten Strecke (``1. Generation''), setzt an ihren Endpunkt endlich viele Strecken (``2. Generation'') usw.; kein Endpunkt bleibt frei, und keine Strecke verbindet ihren Anfangspunkt mit einer früheren Ecke. Eine unendliche zusammenhängende Streckenfolge, die aus jeder Generation genau eine Strecke enthält, heißt eine ``Endfolge''. Satz: Die Mächtigkeit der Menge aller Endfolgen ist entweder endlich oder abzählbar unendlich oder die des Kontinuums. Der Beweis wird angedeutet.