Statement:
Every B compact (pseudo)metric space is Baire.
Howard_Rubin_Number: 386
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:
Herrlich-Keremedis-1999a: Products, the Baire category theorem, and the axiom of dependent choice
Book references
Note connections:
Note 6
Definitions of Compact
Note 10
Topology definitions
Note 28
Definitions for the various versions of the Baire category theorem