Form equivalence class Howard-Rubin Number: 1
Statement: For any set \(X\), if \(\cal C\) is a set ofconditionally \(\cap\)-closed subsets of \(\cal P(X)\), then \(\cal C\)contains a maximal filter (not necessarily proper). (If $\cal C\subseteq\cal P(X)\(, \)\cal C\( is called conditionally \)\cap$-closed if forall \(A\), \(B\), \(C\) in \(\cal C\), \(C\subseteq A\cap B\) implies $A\cap B\in\cal C$.) Banaschewski [1961].
Howard-Rubin number: 1 DF
Citations (articles):
Connections (notes):
References (books):
Back