Form equivalence class Howard-Rubin Number: 1
Statement: \((MT_0)\): Every topological space has a maximal \(T_0\)subspace.
Howard-Rubin number: 1 BI
Citations (articles):
Schnare [1968]
The maximal \(T_0\) (respectively \(T_1\)) lemma is equivalent to the axiom of choice
Connections (notes):
Note [106]
This note contains results from McCarten [1988],
and Schnare [1968] relating to forms [1 BF]
\((DT_0)\), [1 BG] \((CT_0)\), [1 BH]
\((TT_0)\), and [1 BI] \((MT_0)\).
References (books):
Back