Statement:
Countable Ultrafilter Theorem: Every proper filter with a countable base over a set \(S\) (in \({\cal P}(S)\)) can be extended to an ultrafilter.
Howard_Rubin_Number: 385
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: