Abstract
Let S be a semigroup, let \(n\in \mathbb {N}\) be a positive natural number, let \(A,B\subseteq S\), let \(\mathcal {U},\mathcal {V}\in \beta S\) and let let \(\mathcal {F}\subseteq \{f:S^{n}\rightarrow S\}\). We say that A is \(\mathcal {F}\)-finitely embeddable in B if for every finite set \(F\subseteq A\) there is a function \(f\in \mathcal {F}\) such that \(f\left( A^{n}\right) \subseteq B\), and we say that \(\mathcal {U}\) is \(\mathcal {F}\)-finitely embeddable in \(\mathcal {V}\) if for every set \(B\in \mathcal {V}\) there is a set \(A\in \mathcal {U}\) such that A is \(\mathcal {F}\)-finitely embeddable in B. We show that \(\mathcal {F}\)-finite embeddabilities can be used to study certain combinatorial properties of sets and ultrafilters related with finite structures. We introduce the notions of set and of ultrafilter maximal for \(\mathcal {F}\)-finite embeddability, whose existence is proved under very mild assumptions. Different choices of \(\mathcal {F}\) can be used to characterize many combinatorially interesting sets/ultrafilters as maximal sets/ultrafilters, for example thick sets, AP-rich sets, \(\overline{K(\beta S)}\) and so on. The set of maximal ultrafilters for \(\mathcal {F}\)-finite embeddability can be characterized algebraically in terms of \(\mathcal {F}\). This property can be used to give an algebraic characterization of certain interesting sets of ultrafilters, such as the ultrafilters whose elements contain, respectively, arbitrarily long arithmetic, geoarithmetic or polynomial progressions. As a consequence of the connection between sets and ultrafilters maximal for \(\mathcal {F}\)-finite embeddability we are able to prove a general result that entails, for example, that given a finite partition of a set that contains arbitrarily long geoarithmetic (resp. polynomial) progressions, one cell must contain arbitrarily long geoarithmetic (resp. polynomial) progressions. Finally we apply \(\mathcal {F}\)-finite embeddabilities to study a few properties of homogeneous partition regular diophantine equations. Some of our results are based on connections between ultrafilters and nonstandard models of arithmetic.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Beiglböck, M., Bergelson, V., Hindman, N., Strauss, D.: Some new results in multiplicative and additive Ramsey theory. Trans. Am. Math. Soc. 360, 819–847 (2008)
Beiglböck, M.: An ultrafilter approach to Jin’s theorem. Israel J. Math. 185, 369–374 (2011)
Benci, V., Di Nasso, M.: Alpha-theory: an elementary axiomatics for nonstandard analysis. Expo. Math. 21, 355–386 (2003)
Bergelson, V.: Multiplicatively large sets and ergodic Ramsey theory. Israel J. Math. 148, 23–40 (2005)
Blass, A., Di Nasso, M.: Finite embeddability of sets and ultrafilters. (submitted) arXiv:1405.2841
Chang, C.C., Keisler, H.J.: Model Theory, 3rd edn. North-Holland, Amsterdam (1990)
Davis, M.: Applied Nonstandard Analysis. Wiley, New York (1977)
Di Nasso, M.: Embeddability properties of difference sets. Integers 14, A27 (2014)
Di Nasso, M.: Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s theorem. Proc. Am. Math. Soc. 143, 1749–1761 (2015)
Di Nasso, M.: A taste of nonstandard methods in combinatorics of numbers. Geometry. Structure and Randomness in Combinatorics, CRM Series, pp. 27–46. Scuola Normale Superiore, Pisa (2015)
Green, B., Tao, T.: The primes contain arbitrarily long arithmetic progressions. Ann. Math. 167, 481–547 (2008)
Hindman, N., Strauss, D.: Algebra in the Stone-Čech Compactification, 2nd edn. de Gruyter, Berlin (2012)
Hindman, N., Strauss, D.: Density in arbitrary semigroups. Semigroup Forum 73, 273–300 (2006)
Hirschfeld, R.: On a generalization of the van der Waerden Theorem. Eur. J. Combin. 30, 617–621 (2009)
Krautzberger, P.: Idempotent filters and ultrafilters. Ph.D. Thesis, Freie Univ., Berlin (2009)
L. Luperi Baglini: Hyperintegers and nonstandard techniques in combinatorics of numbers. PhD thesis, University of Siena (2012). arXiv:1212.2049
L. Luperi Baglini: Partition regularity of nonlinear polynomials: a nonstandard approach. Integers 14, A30 (2014)
L. Luperi Baglini: Ultrafilters maximal for finite embeddability. J. Log. Anal. 6, A6 (2014)
L. Luperi Baglini: A nonstandard technique in combinatorial number theory. Eur. J. Combin. (in press). doi:10.1016/j.ejc.2015.02.010
Puritz, C.: Ultrafilters and standard functions in nonstandard analysis. Proc. Lond. Math. Soc. 22, 706–733 (1971)
Puritz, C.: Skies, constellations and monads. In: Luxemburg, W.A.J., Robinson, A. (eds.) Contributions to Non-standard Analysis, pp. 215–243. North Holland, Amsterdam (1972)
Ruzsa, I.Z.: On difference sets. Studia Sci. Math. Hungar. 13, 319–326 (1978)
van der Waerden, B.: Beweis einer Baudetschen Vermutung. Nieuw Arch. Wiskunde 19, 212–216 (1927)
Author information
Authors and Affiliations
Corresponding author
Additional information
Supported by Grants P25311-N25 and M1876-N35 of the Austrian Science Fund FWF.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.
About this article
Cite this article
Luperi Baglini, L. \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters. Arch. Math. Logic 55, 705–734 (2016). https://doi.org/10.1007/s00153-016-0489-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00153-016-0489-4