English
Related papers

Related papers: Ultrafilters maximal for finite embeddability

200 papers

We discuss the connection between various orders on the class of all the ultrafilters and certain compactness properties of abstract logics and of topological spaces. We present a model theoretical characterization of Comfort order. We…

Logic · Mathematics 2010-05-17 Paolo Lipparini

We introduce a new combinatorial structure: the superselector. We show that superselectors subsume several important combinatorial structures used in the past few years to solve problems in group testing, compressed sensing, multi-channel…

Data Structures and Algorithms · Computer Science 2010-10-07 Ferdinando Cicalese , Ugo Vaccaro

We study countable embedding-universal and homomorphism-universal structures and unify results related to both of these notions. We show that many universal and ultrahomogeneous structures allow a concise description (called here a finite…

Combinatorics · Mathematics 2010-09-06 Jan Hubicka

We prove a single category-theoretic result encapsulating the notions of ultrafilters, ultrapower, ultraproduct, tensor product of ultrafilters, the Rudin--Kiesler partial ordering on ultrafilters, and Blass's category of ultrafilters UF.…

Category Theory · Mathematics 2020-06-03 Richard Garner

We introduce the decomposability spectrum $K_D=\{\lambda \geq \omega| D \text{is} \lambda\text{-decomposable}\}$ of an ultrafilter $D$, and show that Shelah's $\pcf$ theory influences the possible values $K_D$ can take. For example, we show…

Logic · Mathematics 2007-05-23 Paolo Lipparini

We further investigate a divisibility relation on the set $\beta N$ of ultrafilters on the set of natural numbers. We single out prime ultrafilters (divisible only by 1 and themselves) and establish a hierarchy in which a position of every…

Logic · Mathematics 2017-03-20 Boris Šobot

We investigate the combinatorial structure of the set of maximal antichains in a Boolean algebra ordered by almost refinement. We also consider the reaping relation and its associated cardinal invariants, focusing in particular on reduced…

Logic · Mathematics 2026-01-28 Jörg Brendle , Michael Hrušák , Francesco Parente

We investigate the structure of ultrafilters on Boolean algebras in the framework of Tukey reducibility. In particular, this paper provides several techniques to construct ultrafilters which are not Tukey maximal. Furthermore, we connect…

Logic · Mathematics 2022-04-08 Jörg Brendle , Francesco Parente

This paper contributes to the set-theoretic side of understanding Keisler's order. We consider properties of ultrafilters which affect saturation of unstable theories: the lower cofinality $\lcf(\aleph_0, \de)$ of $\aleph_0$ modulo $\de$,…

Logic · Mathematics 2012-04-09 M. Malliaris , S. Shelah

Answering a question of Dobrinen and Todorcevic, we prove that below any stable ordered-union ultrafilter $\mathcal{U}$, there are exactly four nonprincipal Tukey classes: $[\mathcal{U}], [\mathcal{U}_{\operatorname{min}}],…

Logic · Mathematics 2024-10-08 Tan Özalp

Our results in this paper increase the model-theoretic precision of a widely used method for building ultrafilters, and so advance the general problem of constructing ultrafilters whose ultrapowers have a precise degree of saturation. We…

Logic · Mathematics 2012-08-14 M. Malliaris , S. Shelah

Let $X$ be an unbounded metric space, $B(x,r) = \{y\in X: d(x,y) \leqslant r\}$ for all $x\in X$ and $r\geqslant 0$. We endow $X$ with the discrete topology and identify the Stone-\v{C}ech compactification $\beta X$ of $X$ with the set of…

General Topology · Mathematics 2013-10-10 I. V. Protasov

In the first edition of Classification Theory, the second author characterized the stable theories in terms of saturation of ultrapowers. Prior to this theorem, stability had already been defined in terms of counting types, and the unstable…

Logic · Mathematics 2015-08-19 M. Malliaris , S. Shelah

We isolate a new class of ultrafilters on N, called "quasi-selective" because they are intermediate between selective ultrafilters and P-points. (Under the Continuum Hypothesis these three classes are distinct.) The existence of…

Logic · Mathematics 2017-12-19 Andreas Blass , Mauro Di Nasso , Marco Forti

This short note contains the proofs of two small but somewhat surprising results about ultrafilters on $\mathbb{N}$: 1. strongly summable ultrafilters are rapid, 2. every rapid ultrafilter induces a closed left ideal of rapid ultrafilters.…

Logic · Mathematics 2013-05-07 Peter Krautzberger

A divisibility relation on ultrafilters on the set $\mathbb{N}$ of natural numbers is defined as follows: ${\cal F}\hspace{1mm}\widetilde{\mid}\hspace{1mm}{\cal G}$ if and only if every set in $\cal F$ upward closed for divisibility also…

Logic · Mathematics 2025-06-03 Boris Šobot

Let $U$ be an absolute ultrafilter on the set of non-negative integers $\mathbb{N}$. For any sequence $x=(x_n)_{n\geq 0}$ of real numbers, let $U(x)$ denote the topological filter consisting of the open sets $W$ of $\mathbb{R}$ with $\{n…

General Topology · Mathematics 2024-05-17 Mohamed Benslimane

The Stone-Cech compactification of the natural numbers bN, or equivalently, the space of ultrafilters on the subsets of omega, is a well-studied space with interesting properties. If one replaces the subsets of omega by partitions of omega,…

Logic · Mathematics 2007-05-23 Lorenz Halbeisen , Benedikt Loewe

There is a long history of studying Ramsey theory using the algebraic structure of the Stone-\v{C}ech compactification of discrete semigroup. It has been shown that various Ramsey theoretic structures are contained in different algebraic…

General Topology · Mathematics 2021-08-12 Dibyendu De , Pintu Debnath , Sayan Goswami

Given a finite-dimensional real inner product space V and a finite subgroup G of linear isometries, max filtering affords a bilipschitz Euclidean embedding of the orbit space V/G. We identify the max filtering maps of minimum distortion in…

Optimization and Control · Mathematics 2022-12-13 Dustin G. Mixon , Daniel Packer