Previous |  Up |  Next

# Article

Full entry | Fulltext not available (moving wall 24 months)
Keywords:
nonhomogeneity; ultrafilter; Boolean algebra; untouchable point
Summary:
We introduce the notion of a {coherent $P$-ultrafilter} on a complete ccc Boolean algebra, strengthening the notion of a $P$-point on $\omega$, and show that these ultrafilters exist generically under $\mathfrak c = \mathfrak d$. This improves the known existence result of Ketonen [{On the existence of $P$-points in the Stone-Čech compactification of integers}, Fund. Math. {92} (1976), 91--94]. Similarly, the existence theorem of Canjar [{On the generic existence of special ultrafilters}, Proc. Amer. Math. Soc. {110} (1990), no. 1, 233--241] can be extended to show that {coherently selective ultrafilters} exist generically under $\mathfrak c = \operatorname{cov}\mathcal M$. We use these ultrafilters in a topological application: a coherent $P$-ultrafilter on an algebra $\mathcal B$ is an {untouchable point} in the Stone space of $\mathcal B$, witnessing its nonhomogeneity.
References:
[BS] Balcar B., Simon P.: On minimal $\pi$-character of points in extremally disconnected compact spaces. Topology Appl. 41 (1991), 133–145. DOI 10.1016/0166-8641(91)90105-U | MR 1129703 | Zbl 0752.54013
[C] Canjar R.M.: On the generic existence of special ultrafilters. Proc. Amer. Math. Soc. 110 (1990), no. 1, 233–241. DOI 10.1090/S0002-9939-1990-0993747-3 | MR 0993747 | Zbl 0715.03018
[F] Frolík Z.: Maps of extremally disconnected spaces, theory of types, and applications. in Franklin, Frolík, Koutník (eds.), General Topology and Its Relations to Modern Analysis and Algebra, Proceedings of the Kanpur topological conference (1971), pp. 131–142. MR 0295305
[K] Ketonen J.: On the existence of $P$-points in the Stone-Čech compactification of integers. Fund. Math. 92 (1976), 91–94. MR 0433387 | Zbl 0339.54035
[S] Simon P.: Points in extremally disconnected compact spaces. Rend. Circ. Mat. Palermo (2). Suppl. 24 (1990), 203–213. MR 1108207 | Zbl 0752.54013
[W] Wimmer E.L.: The Shelah $P$-point independence theorem. Israel J. Math 43 (1982), no. 1, 28–48. DOI 10.1007/BF02761683 | MR 0728877

Partner of