Form Classes

Statement:

Every proper filter on \(\omega\) can be extended to an ultrafilter.

Howard_Rubin_Number: 225

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:
Rav-1977: Variants of Rado's selection lemma and their applications

Book references

Note connections:

The following forms are listed as conclusions of this form class in rfb1: 70,

Back

Complete List of Equivalent Forms

Howard-Rubin Number Statement References
225 A

There exists a compact, extremally disconnected topological space having a Dedekind infinite set of clopen subsets. Morillon [1993]


Note [94] Note [114]
225 B

There exists a compact, \(\sigma\)-extremally disconnected topological space having a Dedekind infinite set of clopen subsets. Morillon [1993].


Note [94] Note [114]