Form equivalence class Howard-Rubin Number: 8
Statement: Baire Category Theorem for Complete PseudometricSpaces with a countable base. Every non-empty complete pseudometricspace with a countable base is of the second category (non-meager).Bentley/Herrlich [1998] and Note 28.
Howard-Rubin number: 8 AA
Citations (articles):
Connections (notes):
References (books):
Back