Statement:  For every first countable topological space \((X, \Cal T)\) there is a family \((\Cal D(x))_{x \in X}\) such that \(\forall x \in X\), \(D(x)\) countable local base at \(x\).  \ac{Gutierres} \cite{2004} and note 159.

Howard_Rubin_Number: 425

Parameter(s): This form does not depend on parameters

This form's transferability is: Unknown

This form's negation transferability is: Negation Transferable

Article Citations:

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1:

Back