Form equivalence class Howard-Rubin Number: 1
Statement:
For every \(T_1\) topological space \((X,T)\) and every base (subbase) \(B\) for \(X\) there exists a \(\subseteq\)-maximal cellular family \(Q\subseteq B\).
Howard-Rubin number: 1 BO
Citations (articles):
Keremedis [1998a]
Filters, antichains and towers in topological spaces and the axiom of choice
Connections (notes):
Note [77]
In this note we include definitions from
Keremedis [1998a] for forms [1 BL]
through [1 BR], [1CB],
and [67 G].
References (books):
Back