Abstract
Hindman’s Theorem says that every finite coloring of the positive natural numbers has a monochromatic set of finite sums. Ramsey algebras, recently introduced, are structures that satisfy an analogue of Hindman’s Theorem. It is an open problem posed by Carlson whether every Ramsey algebra has an idempotent ultrafilter. This paper develops a general framework to study idempotent ultrafilters. Under certain countable setting, the main result roughly says that every nondegenerate Ramsey algebra has a nonprincipal idempotent ultrafilter in some nontrivial countable field of sets. This amounts to a positive result that addresses Carlson’s question in some way.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Birkhoff G., Lipson J.D.: Heterogeneous algebras. J. Comb. Theory 8, 115–133 (1970)
Blass A.R., Hindman N.: On strongly summable ultrafilters and union ultrafilters. Trans. Am. Math. Soc. 304(1), 83–97 (1987)
A.R. Blass, J.L. Hirst, S.G. Simpson: Logical analysis of some theorems of combinatorics and topological dynamics. In: S.G. Simpson (ed.) Logic and Combinatorics. Contemp. Math. 65, 125–156 (1987)
Carlson T.J.: Some unifying principles in Ramsey theory. Discrete Math. 68, 117–169 (1988)
Carlson T.J., Simpson S.G.: A dual form of Ramsey’s theorem. Adv. Math. 53, 265–290 (1984)
Comfort W.: Ultrafilters—some old and some new results. Bull. Am. Math. Soc. 83, 417–455 (1977)
Ellentuck E.: A new proof that analytic sets are Ramsey. J. Symb. Logic 39, 163–165 (1974)
Galvin F., Prikry K.: Borel sets and Ramsey’s theorem. J. Symb. Logic 38, 193–198 (1973)
Hales A.W., Jewett R.I.: Regularity and positional games. Trans. Am. Math. Soc. 124, 360–367 (1966)
Hindman N.: Finite sums from sequences within cells of a partition of \({\mathbb{N}}\). J. Combin. Theory (Ser. A) 17, 1–11 (1974)
N. Hindman: Ultrafilters and combinatorial number theory. In: M. Nathanson (ed.) Number Theory Carbon-dale. Lect. Notes Math. 751, 119–184 (1979)
N. Hindman: Summable ultrafilters and finite sums. In: S.G. Simpson (ed.) Logic and Combinatorics. Contemp. Math. 65, 263–274 (1987)
Hindman N., Strauss D.: Algebra in the Stone-Čech Compactification: Theory and Applications, 2nd edn. Walter de Gruyter, Berlin (2012)
Hirst J.L.: Hindman’s theorem, ultrafilters, and reverse mathematics. J. Symb. Logic 69(1), 65–72 (2004)
Kreuzer A.P.: On idempotent ultrafilters in higher-order reverse mathematics. J. Symb. Logic 80(1), 179–193 (2015)
Teh, W.C.: Ramsey algebras. arXiv:1403.5831 v3 [math.CO]
Teh, W.C.: Ramsey algebras and formal orderly terms. Notre Dame J. Form. Log. (to appear)
Teh W.C.: Ramsey algebras and strongly reductible ultrafilters. Bull. Malays. Math. Sci. Soc. 37(4), 931–938 (2014)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Teh, W.C. Ramsey algebras and the existence of idempotent ultrafilters. Arch. Math. Logic 55, 475–491 (2016). https://doi.org/10.1007/s00153-016-0475-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-016-0475-x