Ultrafilters maximal for finite embeddability

DOI10.4115/JLA.2014.6.6zbMATH Open1321.05011arXiv1401.4977OpenAlexW2008549872MaRDI QIDQ2930876FDOQ2930876

Authors: Lorenzo Luperi Baglini 

Publication date: 20 November 2014

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

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.

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

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

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)

Cites Work

• Title not available (Why is that?)
• Model theory.
• Title not available (Why is that?)
• An interesting combinatorial method in the theory of locally finite semigroups
• Embeddability properties of difference sets
• Partial Orders on the Types in βN
• Finite embeddability of sets and ultrafilters
• \(\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
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the utility of Robinson-Amitsur ultrafilters
• \(\mathcal {F}\)-finite embeddabilities of sets and 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)