Article
Keywords:
closed filters; bases for filters; characters of filters; ultrafilters
Summary:
We show that the statement CCFC = ``{\it the character of a maximal free filter $F$ of closed sets in a $T_1$ space $(X,T)$ is not countable\/}'' is equivalent to the {\it Countable Multiple Choice Axiom\/} CMC and, the axiom of choice AC is equivalent to the statement CFE$_0$ = ``{\it closed filters in a $T_0$ space $(X,T)$ extend to maximal closed filters\/}''. We also show that AC is equivalent to each of the assertions: \newline ``{\it every closed filter $\Cal {F}$ in a $T_1$ space $(X,T)$ extends to a maximal closed filter with a well orderable filter base\/}'', \newline ``{\it for every set $A\neq \emptyset $, every filter $\Cal {F} \subseteq \Cal {P}(A)$ extends to an ultrafilter with a well orderable filter base\/}'' and \newline ``{\it every open filter $\Cal {F}$ in a $T_1$ space $(X,T)$ extends to a maximal open filter with a well orderable filter base\/}''.
References:
[1] Blass A.:
A model without ultrafilters. Bull. Acad. Sci. Polon., Ser. Sci. Math. Astr. Phys. 25 (1977), 329-331.
MR 0476510 |
Zbl 0365.02054
[2] Blass A.:
Prime Ideals yield almost maximal Ideals. Fund. Math. 127 (1986), 56-66.
MR 0883153
[3] Brunner N.:
$\sigma $-kompakte raume. Manuscripta Math. 38 (1982), 375-379.
MR 0667922
[4] Howard P., Keremedis K., Rubin H., Rubin J.E.:
Versions of normality and some weak forms of the axiom of choice. to appear in Math. Logic Quarterly 44 (1998).
MR 1645498 |
Zbl 0911.03027
[5] Howard P., Rubin J.E.:
Consequences of the Axiom of Choice. AMS, Mathematical Surveys and Monographs 59, 1998.
MR 1637107 |
Zbl 0947.03001
[6] Herrlich H., Steprāns J.:
Maximal filters, continuity, and choice principles. Quaestiones Math. 20 (1997).
MR 1625478
[11] Rubin H., Rubin J.E.:
Equivalents of the Axiom of Choice, II. North-Holland, 1985.
MR 0798475
[12] Herrlich H.:
Compactness and the Axiom of Choice. Applied Categorical Structures 4 (1996), 1-14.
MR 1393958 |
Zbl 0881.54027