zbMATH — the first resource for mathematics

Ultrafilters on \(\omega\) and atoms in the lattice of uniformities. II. (English) Zbl 0657.54023
The authors continue their investigations on the interaction between ultrafilters and uniformities (on a countable set) [see part I reviewed above]. Under CH they study proximally discrete atoms in the lattice of uniformities on \(\omega\). Various ultrafilters on \(\omega\) are constructed so that atoms in the lattice of uniformities refining the corresponding ultrafilter-uniformities have special properties. Methods from finite combinatorics are used. The following results are typical. Let \(1\leq s<\omega\) and let \({\mathcal G}\) be an ultrafilter on \(\omega\). Then there is an ultrafilter \({\mathcal F}>{\mathcal G}\) on \(\omega\) such that there are precisely s distinct atoms refining \({\mathcal U}_{{\mathcal F}}\). All these atoms are zero-dimensional. (Here \(>\) denotes the Rudin-Keisler order.) Let \({\mathcal G}\) be an ultrafilter on \(\omega\). Then there exists an ultrafilter \({\mathcal F}>{\mathcal G}\) on \(\omega\) such that there are \(2^ c\) distinct atoms refining \({\mathcal U}_{{\mathcal F}}\). There exists a uniformity N, generated by an ultrafilter \({\mathcal F}\) and a partition \({\mathcal R}\) into finite sets on \(\omega\), such that (i) \({\mathcal N}\) is an atom in the lattice of zero-dimensional uniformities on \(\omega\), (ii) \({\mathcal N}\) is not an atom in the lattice of all uniformities on \(\omega\) ; in fact, there are at least \(2^{\omega}\) pairwise uniformly non- homeomorphic atoms finer than \({\mathcal N}\), and these atoms are non-zero- dimensional.
All these non-zero-dimensional atoms have the same distal modification, viz. \({\mathcal N}\). Thus d\({\mathcal A}_ 1\wedge d{\mathcal A}_ 2\neq d({\mathcal A}_ 1\wedge {\mathcal A}_ 2)\) for any couple \({\mathcal A}_ 1,{\mathcal A}_ 2\) of these atoms. (For any uniformity \({\mathcal U}\), \(d{\mathcal U}\) denotes the distal modification of \({\mathcal U}\), i.e. the uniformity whose basis consists of all covers of finite order in \({\mathcal U}.)\)
Reviewer: H.-P.Künzi

54E15 Uniform structures and generalizations
03E50 Continuum hypothesis and Martin’s axiom
05C55 Generalized Ramsey theory
05C65 Hypergraphs
Full Text: DOI
[1] Baumgartner, J.E.; Taylor, A.D., Partition theorems and ultrafilters, Trans. amer. math. soc., 241, 289-309, (1978) · Zbl 0386.03024
[2] Erdös, P.; Spencer, J., Probabilistic methods in combinatorics, Akademiai kiado Budapest, (1974) · Zbl 0308.05001
[3] Z. Frolík, Basic refinements of uniform spaces, Proc. 2nd Topology Confer. Pittsburgh, Lecture Notes Math. 378 (Springer, Berlin) 140-158.
[4] Isbell, J.R., Uniform spaces, (1964), Amer. Math. Soc Providence, RI · Zbl 0124.15601
[5] Kunen, K., Some points in βN, Proc. Cambridge phil. soc., 86, 385-398, (1976) · Zbl 0345.02047
[6] Kosina, M.; Pták, M., Intrinsic characterization of distal spaces, Seminar uniform spaces 1973/74, 217-231, (1975), MÚ ČSAV Praha · Zbl 0333.54013
[7] Nešetřil, J.; Rödl, V., A simple proof of the galvin-Ramsey property of the class of all finite graphs and a dimension of a graph, Discrete math., 23, 49-55, (1978) · Zbl 0388.05036
[8] Nešetřil, J.; Rödl, V., Selective graphs and hypergraphs, Ann. discrete math., 3, 181-189, (1978) · Zbl 0384.05041
[9] Pelant, J.; Reiterman, J., Atoms in uniformities, Seminar uniform spaces 1973/74, 73-81, (1975), MÚ ČSAV Praha · Zbl 0342.54019
[10] Pelant, J.; Reiterman, J., Atoms and proximal fineness, Seminar uniform spaces 1975/76, 105-114, (1976), MÚ ČSAV Praha · Zbl 0347.54016
[11] J. Pelant, J. Reiterman, V. Rödl and P. Simon, Ultrafilters on ω and atoms in the lattice of uniformities I, to appear. · Zbl 0657.54022
[12] Pták, P., Freckle refinement of uniform spaces, Seminar uniform spaces 1975/76, 105-114, (1976), MÚ ČSAV Praha · Zbl 0347.54018
[13] Reiterman, J.; Rödl, V., A non-zero-dimensional atom, Seminar uniform spaces 1976/77, 65-74, (1978), MÚ ČSAV Praha
[14] Simon, P., Uniform atoms on ω, Seminar uniform spaces 1975/76, 7-35, (1976), MÚ ČSAV Praha
[15] Vidossich, G., Uniform spaces of countable type, Proc. amer. math. soc., 25, 551-553, (1970) · Zbl 0181.50903
[16] Williams, J., A formal analogy between proximity and finite dimensionality, Coll. math., Vol. 31, 71-82, (1974) · Zbl 0294.54024
[17] J. Keisler, A survey of ultraproducts, in: Y. Bar-Hillel, Ed., Logic, Methodology and Philosophy of Science (North-Holland, Amsterdam) 112-126.
[18] Rosen, N., Weakly Ramsey p-points, Trans. amer. math. soc., 269, 415-427, (1982) · Zbl 0519.03057
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.