Ensembles linéaires et une classe de tableaux ramifiés (tableaux ramifiés de M. Aronszajn). (Q2595513)

Eine teilweise geordnete Menge \(T\) heißt ein verzweigtes Tableau (v. T.), wenn für jedes Element von \(T\) die Menge seiner Vorgänger wohlgeordnet ist. Ist \(\alpha \) eine Ordnungszahl, so versteht man unter \(R_\alpha T\) die Menge aller Elemente von \(T\), deren Vorgängermengen den Ordnungstypus \(\alpha \) haben. Ein v. T. ist ein \textit{Aronszajn}sches v. T. (A. v. T.), wenn jede wohlgeordnete Teilmenge von \(T\) von abzählbarem Typus ist, aber auch jeder solche Ordnungstypus wirklich auftritt, wenn ferner jedes \(R_\alpha T\) höchstens abzählbar ist und wenn schließlich zu jedem Element von \(T\) in jedem \(R_\alpha T\) \((\alpha <\omega _1)\) ein vergleichbares Element existiert. Verf. gibt eine Konstruktion von \textit{Aronszajn} wieder, welche auf der Zahlgeraden ein Mengensystem liefert, das hinsichtlich Mengenvergleichung ein A. v. T. bildet. Verf. beweist ferner einige Sätze über die Existenz reeller wachsender Funktionen auf A. v. Ts. mit in gewisser Weise beliebig vorgebbaren (linearen) Bildmengen. Jedes A. v. T. kann man durch teilweise ``Umordnung'' der Menge aller Ordnungszahlen von abzählbarem Typus erhalten. Die vom Verf. angegebenen speziellen Umordnungen liefern A. v. Ts., welche nichtabzählbare Teilmengen von lauter nichtvergleichbaren Elementen enthalten; dies ist deshalb bemerkenswert, weil die positive Beantwortung des Suslinschen Problems mit der Behauptung gleichwertig ist, daß jedes A. v. T. eine solche Teilmenge enthält (vgl \textit{G. Kurepa}, Publ. Math. Univ. Belgrade 4 (1935), 1-138; JFM 61.0980.*). (IV 3 A.)