Form equivalence class Howard-Rubin Number: 0
Statement:
Countably compact pseudometric spaces are Baire.
Howard-Rubin number: 0 AO
Citations (articles):
Herrlich/Keremedis [1999a]
Products, the Baire category theorem, and the axiom of dependent choice
Connections (notes):
Note [10]
Topology definitions
Note [28]
Definitions for the various versions of the Baire category theorem
References (books):
Back