Form equivalence class Howard-Rubin Number: 30
Statement:
Weak Hausdorff Lemma: For every set \(X\), every \(\subseteq\)-chain in \(\cal P(X)\) is contained in a maximal \(\subseteq\)-chain.
Howard-Rubin number: 30 G
Citations (articles):
Connections (notes): Note [130]
In this note we prove that form [30 G] (Every \(\subseteq\)-chain in \(\cal P(X)\) is contained in a maximal \(\subseteq\)-chain) is equivalent to Form 30
References (books):
Back