Form equivalence class Howard-Rubin Number: 1
Statement:
(\(DT_0)\): Every topological space \(X\) has a \(T_0\) subspace that is dense in \(X\). (\(Y\) is dense in \(X\) if there is no non-empty open subset \(O\subseteq X\) such that \(O\cap Y=\emptyset\).)
Howard-Rubin number: 1 BF
Citations (articles):
McCarten [1988]
Topological equivalents of 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