English
Related papers

Related papers: Gruff Ultrafilters

200 papers

We develop a family of simple rank one theories built over quite arbitrary sequences of finite hypergraphs. (This extends an idea from the recent proof that Keisler's order has continuum many classes, however, the construction does not…

Logic · Mathematics 2024-07-24 M. Malliaris , S. Shelah

Let $\kappa$ be an infinite cardinal. Then, forcing with $\mathbb{R}(\kappa)$$\times$$\mathbb{R}(\kappa)$ adds a generic filter for $\mathbb{C}(\kappa);$ where $\mathbb{R}(\kappa)$ and $\mathbb{C}(\kappa)$ are the forcing notions for adding…

Logic · Mathematics 2017-01-17 Mohammad Golshani

Using a dictionary translating a variety of classical and modern covering properties into combinatorial properties of continuous images, we get a simple way to understand the interrelations between these properties in ZFC and in the realm…

Logic · Mathematics 2010-11-02 Boaz Tsaban , Lyubomyr Zdomskyy

We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several…

Let $d \geq 2$ be an integer. We conjecture that there is a finitely generated perfect group whose homomorphic images include all finite $d$-generated perfect groups. We prove a special case of this conjecture for the finite perfect groups…

Group Theory · Mathematics 2023-09-29 Nikolay Nikolov

When anti-canonical rings are finitely generated, we give a characterization of adjoint ideals using ultra-Frobenii, a characteristic zero analogue of Frobenius morphisms. This characterization enables us to give an alternative proof of a…

Algebraic Geometry · Mathematics 2025-02-07 Tatsuki Yamaguchi

We prove that the spectrum of Van Douwen families is closed under singular limits. For any maximal eventually different family Raghavan defined in an associated ideal which measures how far the family is from being Van Douwen. Under CH we…

Logic · Mathematics 2026-02-25 Lukas Schembecker

This article introduces a new approach to principled and practical random variate generation with formal guarantees. The key idea is to first specify the desired probability distribution in terms of a finite-precision numerical program that…

Programming Languages · Computer Science 2025-07-21 Feras A. Saad , Wonyeol Lee

We first prove Bosch-L\"utkebohmert-Raynaud's conjectures on existence of global N\'eron models of not necessarily semi-abelian algebraic groups in the perfect residue fields case. We then give a counterexample to the existence in the…

Number Theory · Mathematics 2025-03-27 Otto Overkamp , Takashi Suzuki

Given a dense additive subgroup $G$ of $\mathbb R$ containing $\mathbb Z$, we consider its intersection $\mathbb G$ with the interval $[0,1[$ with the induced order and the group structure given by addition modulo $1$. We axiomatize the…

Logic · Mathematics 2017-07-20 Luc Bélair , Françoise Point

In order to study how well a finite group might be generated by repeated random multiplications, P. Diaconis suggested the following urn model. An urn contains some balls labeled by elements which generate a group G. Two are drawn at random…

Probability · Mathematics 2007-05-23 Aaron Abrams , Henry Landau , Zeph Landau , James Pommersheim , Eric Zaslow

We present a self-contained proof of a strong version of van der Waerden's Theorem. By using translation invariant filters that are maximal with respect to inclusion, a simple inductive argument shows the existence of "piecewise…

Combinatorics · Mathematics 2020-01-17 Mauro Di Nasso

Let $\mathcal K$ be a field of formal Laurent series with coefficients in a finite field of characteristic $p$, $\mathcal G_{<p}$ -- the maximal quotient of $\operatorname{Gal} (\mathcal K_{sep}/\mathcal K)$ of period $p$ and nilpotent…

Number Theory · Mathematics 2021-01-22 Victor Abrashkin

The classical randomization criterion is an important result of statistical decision theory. Recently, a quantum analogue has been proposed, giving equivalent conditions for two sets of quantum states, ensuring existence of a quantum…

Quantum Physics · Physics 2014-04-16 Anna Jencova

In standard construction of hyperrational numbers using an ultrapower we assume that the ultrafilter is selective. It makes possible to assign real value to any finite hyperrational number. So, we can consider hyperrational numbers with…

Logic · Mathematics 2020-04-06 Armen Grigoryants

In earlier work of the second and third author the equivalence of a finite square principle square^fin_{lambda,D} with various model theoretic properties of structures of size lambda and regular ultrafilters was established. In this paper…

Logic · Mathematics 2016-02-10 Juliette Kennedy , Saharon Shelah , Jouko Vaananen

It is known that a C*-algebra with the Global Glimm Property is nowhere scattered (it has no elementary ideal-quotients), and the Global Glimm Problem asks if the converse holds. We provide a new approach to this long-standing problem by…

Operator Algebras · Mathematics 2022-12-14 Hannes Thiel , Eduard Vilalta

In a classical paper by Ben-David and Magidor, a model of set theory was exhibited in which $\aleph_{\omega+1}$ carries a uniform ultrafilter that is $\theta$-indecomposable for every uncountable cardinal $\theta<\aleph_\omega$. In this…

Logic · Mathematics 2025-12-18 Sittinon Jirattikansakul , Inbar Oren , Assaf Rinot

A set A of natural numbers is finitely embeddable in another such set B if every finite subset of A has a rightward translate that is a subset of B. This notion of finite embeddability arose in combinatorial number theory, but in this paper…

Logic · Mathematics 2015-12-11 Andreas Blass , Mauro Di Nasso

This paper extends the existing theory of perfect reconstruction two-channel filter banks from bipartite graphs to non-bipartite graphs. By generalizing the concept of downsampling/upsampling we establish the frame of two-channel filter…

Information Theory · Computer Science 2023-04-04 Junxia You , Lihua Yang