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

partitionsultrafiltersnonstandard analysisfinite embeddabilitycombinatorial number theory on \(\mathbb N\)

Mathematics Subject Classification ID

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

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_\delta \) and co-meager semifilters

Cites work

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

Cited in

(9)

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

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)