Related papers: Cicho\'n's maximum with evasion number

Let $\mathcal{E}$ denote the $\sigma$-ideal generated by closed null sets on the reals. We show that the uniformity and the covering of $\mathcal{E}$ can be added to Cicho\'n's maximum with distinct values. More specifically, it is…

Let $\mathfrak{e}^\mathsf{const}_2$ be the constant evasion number, that is, the size of the least family $F\subseteq{}^{\omega}2$ of reals such that for each predictor $\pi\colon {}^{<\omega}2\to 2$ there is $x\in F$ which is not…

Assuming four strongly compact cardinals, it is consistent that all entries in Cicho\'n's diagram are pairwise different, more specifically that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} <…

Using a finite support iteration of ccc forcings, we construct a model of $\aleph_1<\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{b}<\mathrm{non}(\mathcal{M})<\mathrm{cov}(\mathcal{M})=\mathfrak{c}$.

Assuming three strongly compact cardinals, it is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{null}) < \mathrm{cov}(\mathrm{null}) < \mathfrak{b} < \mathfrak{d} < \mathrm{non}(\mathrm{null}) < \mathrm{cof}(\mathrm{null}) <…

Cicho\'n's diagram lists twelve cardinal characteristics (and the provable inequalities between them) associated with the ideals of null sets, meager sets, countable sets, and $\sigma$-compact subsets of the irrationals. It is consistent…

It is consistent that \[ \aleph_1 < \mathrm{add}(\mathrm{Null}) < \mathrm{add}(\mathrm{Meager})= \mathfrak{b} < \mathrm{cov}(\mathrm{Null}) < \mathrm{non}(\mathrm{Meager}) < \mathrm{cov}(\mathrm{Meager}) = 2^{\aleph_0}. \] Assuming four…

Using the concept of constant evasion to different sorts of suitable binary relations, we establish many cardinal invariants derived from the established cardinal invariants $\mathfrak{e}^\mathrm{const}_{n}$ and…

A subgroup G \leq Z^omega exhibits the Specker phenomenon if every homomorphism G \to Z maps almost all unit vectors to 0. We give several combinatorial characterizations of the cardinal se, the size of the smallest G \leq Z^omega…

We study the rate of growth of ergodic sums along a sequence (a_n) of times: S_N f(x)=f(T^{a_1}x) + ... + f(T^{a_N}x). We characterize the maximal rate of growth of these ergodic sums and identify a number of sequences such as (2^n) that…

We use a (countable support) creature construction to show that consistently \[ \mathfrak d=\aleph_1= \text{cov}(\text{NULL}) < \text{non}(\text{MEAGER}) < \text{non}(\text{NULL}) < \text{cof}(\text{NULL}) < 2^{\aleph_0}. \] The same method…

A subset $S$ of real numbers is called bi-Sidon if it is a Sidon set with respect to both addition and multiplication, i.e., if all pairwise sums and all pairwise products of elements of $S$ are distinct. Imre Ruzsa asked the following…

Define the special tree number, denoted $\mathfrak{st}$, to be the least size of a tree of height $\omega_1$ which is neither special nor has a cofinal branch. This cardinal had previously been studied in the context of fragments of…

We show that Martin's Maximum${}^{++}$ implies Woodin's ${\mathbb P}_{\rm max}$ axiom $(*)$. This answers a question from the 1990's and amalgamates two prominent axioms of set theory which were both known to imply that there are $\aleph_2$…

The torsion anomalous conjecture states that for any variety V in an abelian variety there are only finitely many maximal V-torsion anomalous varieties. We prove this conjecture for V of codimension 2 in a product E^N of any elliptic curve…

We prove the consistency of $\mathrm{add}(\mathcal{N})<\mathrm{cov}(\mathcal{N})<\mathfrak{p}=\mathfrak{g}=\mathfrak{s}<\mathrm{add}(\mathcal{M})=\mathrm{cof}(\mathcal{M})<\mathfrak{a}=\mathrm{non}(\mathcal{N})=\mathfrak{c}$ with ZFC where…

We obtain some new upper bounds on the maximum number $f(n)$ of edges in $n$-vertex graphs without containing cycles of length four. This leads to an asymptotically optimal bound on $f(n)$ for a broad range of integers $n$ as well as a…

We show that if $\mathfrak{c} = \aleph_2$ then all covering numbers of Hausdorff measures $\operatorname{cov}(\mathcal{N}^s(\mathbb{R}^d))$ ($0 < s < d, d \in \omega$) are equal and all uniformity numbers…

We present two short proofs giving the best known asymptotic lower bound for the maximum element in a set of $n$ positive integers with distinct subset sums.

We prove that a functional with Lipschitzian derivative, when restricted to suitable spheres centered at a noncritical point, has a unique maximum.