Sur les familles croissantes de sous-ensembles d'un ensemble dénombrable . (Q568199)

Man nennt eine Familie von Mengen wachsend, wenn von je zwei Mengen der Familie es immer eine gibt, die Teil der anderen Menge ist. Eine solche Familie von Mengen läßt sich daher ordnen, und es entspricht ihr ein bestimmter Ordnungstypus. Sei dann \(D\) die Menge der natürlichen Zahlen, also abzählbar; \(\varphi \) sei ein gegebener Ordnungstyp. Die notwendige und hinreichende Bedingung dafür, daß\ eine wachsende Familie vom Ordnungstyp \(\varphi \), bestehend aus Teilmengen von \(D\), existiert, ist nun, daß\ \(\varphi \) der Ordnungstypus einer Menge von reellen Zahlen ist, die der Größe nach geordnet sind. - Weiter wird noch die Frage behandelt: Welches ist die notwendige und hinreichende Bedingung dafür, daß\ eine wachsende Familie von gegebenem Ordnungstypus \(\varphi \) existiert, die aus abzählbaren Mengen gebildet wird?