Related papers: Todorcevic's Problem on Rado's Conjecture

We prove that the strong polarized relation of $\theta$ above $\omega$ applied simultaneously for every cardinal in the interval $[\aleph_1,\aleph]$ is consistent. We conclude that this positive relation is consistent for every cardinal…

This article proposes a unified analytical approach leading to a partial resolution of the Erdos-Straus, Sierpinski conjectures, and their generalization. We introduce an equivalent reformulation of these conjectures while constructing two…

The periodic tiling conjecture asserts that any finite subset of a lattice $\mathbb{Z}^d$ which tiles that lattice by translations, in fact tiles periodically. In this work we disprove this conjecture for sufficiently large $d$, which also…

The colored Tverberg theorem asserts that for every d and r there exists t=t(d,r) such that for every set C in R^d of cardinality (d+1)t, partitioned into t-point subsets C_1,C_2,...,C_{d+1} (which we think of as color classes; e.g., the…

We introduce exacting cardinals and a strengthening of these, ultraexacting cardinals. These are natural large cardinals defined equivalently as weak forms of rank-Berkeley cardinals, strong forms of J\'onsson cardinals, or in terms of…

We survey Vojta's higher-dimensional generalizations of the $abc$ conjecture and Szpiro's conjecture as well as recent developments that apply them to various problems in arithmetic dynamics. In particular, the "$abcd$ conjecture" implies a…

The Sendovs conjecture asserts that if all the zeros of a polynomial p(z) lie in the closed unit disk, then there must be a critical point of p(z) within unit distance of each zero. The conjecture has been proved to be true for many special…

The consistency of a second-order version of a theorem of Morley on the number of countable models was proved in arXiv:2107.07636 with the aid of large cardinals. We here dispense with them.

Direction relations between extended spatial objects are important commonsense knowledge. Recently, Goyal and Egenhofer proposed a formal model, known as Cardinal Direction Calculus (CDC), for representing direction relations between…

The Axiom of Full Reflection at a measurable cardinal has been conjectured to be equiconsitent with the existence of a coherent sequence of measures with a repeat point. However we prove that the Axiom of Full Reflection at a measurable…

We study topological analogues of Kalai's cascade conjecture. Given a continuous map from an $n$-simplex to $\mathbb R^d$, let $T_r(f)$ be the set of points contained in the images of $r$ pairwise disjoint faces. We prove that if $r$ is a…

The topological Tverberg conjecture was considered a central unsolved problem of topological combinatorics. The conjecture asserts that for any integers $r,d>1$ and any continuous map $f:\Delta\to\mathbb R^d$ of the $(d+1)(r-1)$-dimensional…

We prove that if there is an elementary embedding from the universe to itself, then there is a proper class of measurable successor cardinals.

We prove for primes $p\ge 5$ a conjecture of Coleman on the analytic continuation of the family of modular functions $\frac{E^\ast_\kappa}{V(E^\ast_\kappa)}$ derived from the family of Eisenstein series $E^\ast_\kappa$. The precise,…

The Serre conjecture II predicts that every torsor under a semisimple, simply connected, algebraic group over a field of cohomological dimension at most 2 and of degree of imperfection at most 1 has a rational point. We generalize this…

Sendov's conjecture, which was first introduced in the last 50s, asserts that if all the zeros of a polynomial $p$ lie in the closed unit disk then for each zero there must be a critical point of $p$ within unit distance. This paper…

Viewing Eratosthenes sieve as a discrete dynamic system, we show that every admissible instance of every admissible constellation of gaps arises and persists in Eratosthenes sieve. For an admissible constellation of length J, we show that…

This is a revised version (of late 2020) of [Sh:700], which is arXiv:math/0012170 . First point is noting that the proof of Theorem 4.3 in [Sh:700], which says that the proof giving the consistency $ \mathfrak{b} = \mathfrak{d} =…

Rothberger's question of whether the two cardinals $\mathfrak p$ and $\mathfrak t$ are equal, posed back in 1948, was only answered fairly recently in the affirmative. Here we answer the more difficult progenitor question (posed in the same…

We discuss two fourth-order Steklov problems and highlight a Babu\v{s}ka paradox appearing in their approximations on convex domains via sequences of convex polygons. To do so, we prove that the eigenvalues of one of the two problems depend…