Statement:
The existence of a non-principal ultrafilter: There exists an infinite set \(X\) and a non-principal ultrafilter on \(X\).
Howard_Rubin_Number: 206
Parameter(s): This form does not depend on parameters
This form's transferability is: Transferable
This form's negation transferability is: Unknown
Article Citations:
Blass-1977b: A model without ultrafilters
Book references
Note connections: