Form equivalence class Howard-Rubin Number: 1
Statement:
(C\(T_0\)): Every topological space \(X\) has a \(T_0\)subspace that is codense in \(X\). (\(Y\) is codense in \(X\) if there is nonon-empty closed subset \(C\subseteq X\) such that \(C\cap Y=\emptyset\).)
Howard-Rubin number: 1 BG
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