Statement:
Tychonoff's Compactness Theorem for Countably Many Spaces: The product of a countable set of compact spaces is compact.
Howard_Rubin_Number: 113
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:
Brunner-1985a: Products of compact spaces in the least permutation model
Book references
Note connections: