Related papers: Two infinite quantities and their surprising relat…
We present a self-contained analysis of infinity from two mathematical perspectives: set theory and algebra. We begin with cardinal and ordinal numbers, examining deep questions such as the continuum hypothesis, along with foundational…
Malliaris and Shelah famously proved that Keisler's order $\trianglelefteq$ has infinitely many classes. In more detail, for each $2 \leq k < n < \omega$, let $T_{n, k}$ be the theory of the random $k$-ary $n$-clique free hypergraph.…
Motivated by ideas from the model theory of metric structures, we introduce a metric set theory, $\mathsf{MSE}$, which takes bounded quantification as primitive and consists of a natural metric extensionality axiom (the distance between two…
A subset of a topological space is said to be \emph{universally measurable} if it is measured by the completion of each countably additive $\sigma$-finite Borel measure on the space, and \emph{universally null} if it has measure zero for…
These notes are based on Appalachian Set Theory lectures given by M. Malliaris on November 5, 2016 with D. Casey as the official scribe. The aim of the lectures was to present the setup and some key arguments of "Cofinality spectrum…
Cohen proved that the infinite variable polynomial ring $R=k[x_1,x_2,\ldots]$ is noetherian with respect to the action of the infinite symmetric group $\mathfrak{S}$. The first two authors began a program to understand the…
In 1967 the author introduced a pre-ordering of all first order complete theories where T is lower than U if it is easier for an ultrapower of a model of T than an ultrapower of a model of U to be saturated. In a long series of recent…
In a seminal paper of 2005, Nualart and Peccati discovered a surprising central limit theorem (called the "Fourth Moment Theorem" in the sequel) for sequences of multiple stochastic integrals of a fixed order: in this context, convergence…
During a first St. Petersburg period Leonhard Euler, in his early twenties, became interested in the Basel problem: summing the series of inverse squares (posed by Pietro Mengoli in mid 17th century). In the words of Andre Weil (1989) "as…
This paper unifies problems and results related to (embedding) universal and homomorphism universal structures. On the one side we give a new combinatorial proof of the existence of universal objects for homomorphism defined classes of…
L\"uroth series, like regular continued fractions, provide an interesting identification of real numbers with infinite sequences of integers. These sequences give deep arithmetic and measure-theoretic properties of subsets of numbers…
In this paper we expose the impact of the fundamental discovery, made by Erik Anders\'en and L\'aszl\'o Lempert in 1992, that the group generated by shears is dense in the group of holomorphic automorphisms of complex Euclidean spaces of…
Suppose that some harmonic analysis arguments have been invoked to show that the indicator function of a set of residue classes modulo some integer has a large Fourier coefficient. To get information about the structure of the set of…
Bolzano and Cantor were the first mathematicians to make significant attempts to measure the size (numerosity) of different infinite collections. They differed in their methodological approaches, with Cantor's prevailing. This led to the…
Since the theory developed by Georg Cantor, mathematicians have taken a sharp interest in the sizes of infinite sets. We know that the set of integers is infinitely countable and that its cardinality is Aleph0. Cantor proved in 1891 with…
For any $ \delta >0$ we construct an entire function $f$ with three singular values whose Julia set has Hausdorff dimension at most $1=\delta$. Stallard proved that the dimension must be strictly larger than 1 whenever $f$ has a bounded…
Consider a system of infinitely many Brownian particles on the real line. At any moment, these particles can be ranked from the bottom upward. Each particle moves as a Brownian motion with drift and diffusion coefficients depending on its…
From 1873 to 1897, Georg Cantor worked on developing set theory, and despite a strong initial resistance, it rapidly became accepted as the foundation of mathematics. In this work, however, we'll demonstrate that Cantor's use of infinity is…
This paper, in french, gives a new approach to the concept of Maximally Even Sets based on discrete Fourier transform, with several elementary but interesting and previously unpublished results. Maximally Even Sets have been invented by…
In his Foundations of a General Theory of Manifolds, Georg Cantor praised Bernard Bolzano as a clear defender of actual infinity who had the courage to work with infinite numbers. At the same time, he sharply criticized the way Bolzano…