Ultrafilters maximal for finite embeddability

DOI10.4115/JLA.2014.6.6MaRDI QIDQ2930876zbMATH OpenOpenAlexFDO

Authors Lorenzo Luperi Baglini

Publication date 20 November 2014

Published in Journal of Logic and Analysis (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://arxiv.org/abs/1401.4977

zbMATH Keywords

combinatorial number theory on \(\mathbb N\)finite embeddabilitynonstandard analysispartitionsultrafilters

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15) Combinatorial aspects of partitions of integers (05A17) Nonstandard arithmetic (number-theoretic aspects) (11U10) Special constructions of topological spaces (spaces of ultrafilters, etc.) (54D80)

Abstract: In [1] the authors showed some basic properties of a pre-order that arose in combinatorial number theory, namely the finite embeddability between sets of natural numbers, and they presented its generalization to ultrafilters, which is related to the algebraical and topological structure of the Stone-v{C}ech compactification of the discrete space of natural numbers. In this present paper we continue the study of these pre-orders. In particular, we prove that there exist ultrafilters maximal for finite embeddability, and we show that the set of such ultrafilters is the closure of the minimal bilateral ideal in the semigroup $$, namely $$. As a consequence, we easily derive many combinatorial properties of ultrafilters in $$. We also give an alternative proof of our main result based on nonstandard models of arithmetic.

Recommendations

• Finite embeddability of sets and ultrafilters
• \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters
• scientific article; zbMATH DE number 2236688
• scientific article; zbMATH DE number 4148152
• G_ and co-meager semifilters

Cites work

• \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters
• An interesting combinatorial method in the theory of locally finite semigroups
• Embeddability properties of difference sets
• Finite embeddability of sets and ultrafilters
• scientific article; zbMATH DE number 3657895 (Why is no real title available?)
• scientific article; zbMATH DE number 3559571 (Why is no real title available?)
• Model theory.
• Partial Orders on the Types in βN

Cited in

(9)

• Algebraic characterizations of some relative notions of size
• Multiplicative finite embeddability vs divisibility of ultrafilters
• On the utility of Robinson-Amitsur ultrafilters
• Finite embeddability of sets and ultrafilters
• G_ and co-meager semifilters
• scientific article; zbMATH DE number 3941532 (Why is no real title available?)
• \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters
• Nonstandard characterisations of tensor products and monads in the theory of ultrafilters
• scientific article; zbMATH DE number 2236688 (Why is no real title available?)

This page was built for publication: Ultrafilters maximal for finite embeddability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2930876)