Sur les classes d'ensembles closes par rapport aux opérations de Hausdorff. (Q2607204)

Verf. gibt hier eine Ergänzung zu einer umfangreichen früheren Arbeit (Fundam. Math., Warszawa, 16 (1930), 181-304; JFM 56.0843.*-844), indem er eine neue Klasse von Operationen in entsprechender Weise untersucht. Als Verallgemeinerungen der ``\(\delta s\)-Funktionen'' von \textit{Hausdorff} (Mengenlehre, 2. Aufl. (1927; F. d. M. 53, 169 (JFM 53.0169.*)), S. 89) führt Verf. nämlich die ``\textit{Hausdorffschen Operationen vom Grade \(\beta\)}'' ein (wobei \(\beta\) alle Ordinalzahlen durchläuft). Die Klasse dieser Operationen wird mit \(\mathfrak H_\beta\) bezeichnet. Die \textit{Hausdorff}schen \(\delta s\)-Funktionen stellen dann die Klasse \(\mathfrak H_0\) dar. Die Definition der Klasse \(\mathfrak H_\beta\) wird in zwei Schritten vorgenommen: (1) Es sei \(\varPhi\) eine beliebige Klasse von Folgen \(\varphi\) von Ordinalzahlen, und es bezeichne \(\tau(\varphi)\) den Typus von \(\varphi\). Nun werde der Klasse \(\varPhi\) folgendermaßen eine auf die Mengenklasse \(K\) ausgeübte Operation \(O_{(\varPhi)}\) zugeordnet: \(O_{(\varPhi)}(K)\) ist die Klasse aller Mengen \(X\) von der Form \[ X = \sum_{\varphi\in\varPhi}\prod_{\xi<\tau(\varphi)}X_{\varphi_\xi},\quad \text{wobei}\quad X_{\varphi_\xi}\in K\;\text{für}\;\xi<\tau(\varphi)\quad \text{und}\quad \varphi\in\varPhi. \] (2) \(\mathfrak H_\beta\) ist die Klasse aller Operationen \(F\) von der Form \(F\overset{\circ}{=}O_{(\varPhi)}\), wobei \(\varPhi\) eine beliebige, nicht-leere Klasse von Folgen \(\varphi\) des Typus \(\omega_\beta\) ist, die aus Ordinalzahlen \(\varphi_\xi < \omega_\beta\) bestehen. (\(\overset{\circ}{=}\) bezeichnet dabei die Identität der betreffenden Operationen.)