Related papers: Borel partitions of infinite subtrees of a perfect…

We prove that if the set of unordered pairs of real numbers is colored by finitely many colors, there is a set of reals homeomorphic to the rationals whose pairs have at most two colors. Our proof uses large cardinals and it verifies a…

It is proved that for each natural number $n$, if $\left| \mathbb{R} \right| = {\aleph}_{n}$, then there is a coloring of ${\left[ \mathbb{R} \right]}^{n+2}$ into ${\aleph}_{0}$ colors that takes all colors on ${\left[ X \right]}^{n+2}$…

Let $T_\ell(n)$ denote the number of $\ell-$regular partition triples of $n$ and let $p_{\ell, 3}(n)$ enumerates the number of 2--color partition triples of $n$ where one of the colors appear only in parts that are multiples of $\ell$. In…

Let $p_{-t}(n)$ denote the number of partitions of $n$ into $t$ colors. In analogy with Ramanujan's work on the partition function, Lin recently proved in \cite{Lin} that $p_{-3}(11n+7)\equiv0\pmod{11}$ for every integer $n$. Such…

Raimi's theorem guarantees the existence of a partition of $\mathbb{N}$ into two parts with an unavoidable intersection property: for any finite coloring of $\mathbb{N}$, some color class intersects both parts infinitely many times, after…

We show that if A is a linear order then Th(A) is either $\aleph_0$-categorical or Borel complete (in the sense of Friedman and Stanley). We generalize this; if A has countably many unary predicates attached, then Th(A) is…

Let $\ell \geq 5$ be prime. For the partition function $p(n)$ and $5 \leq \ell \leq 31$, Atkin found a number of examples of primes $Q \geq 5$ such that there exist congruences of the form $p(\ell Q^{3} n+\beta) \equiv 0 \pmod{\ell}.$…

For which infinite cardinals $\kappa$ is there a partition of the real line $\mathbb R$ into precisely $\kappa$ Borel sets? Hausdorff famously proved that there is a partition of $\mathbb R$ into $\aleph_1$ Borel sets. But other than this,…

The classical Halpern-L\"auchli theorem states that for any finite coloring of a finite product of finitely branching perfect trees of height $\omega$, there exist strong subtrees sharing the same level set such that tuples consisting of…

Hajnal and Szemer\'{e}di proved that if $G$ is a finite graph with maximum degree $\Delta$, then for every integer $k \geqslant \Delta+1$, $G$ has a proper coloring with $k$ colors in which every two color classes differ in size at most by…

A particular case of the Hindman--Galvin--Glazer theorem states that, for every partition of an infinite abelian group $G$ into two cells, there will be an infinite $X\subseteq G$ such that the set of its finite sums…

We give a new, systematic proof for a recent result of Larry Guth and thus also extend the result to a setting with several families of varieties: For any integer $D\geq 1$ and any collection of sets $\Gamma_1,\ldots,\Gamma_j$ of low-degree…

We study analytic and Borel subsets defined similarily to the old example of analytic complete set given by Luzin. Luzin's example, which is essentially a subset of the Baire space, is based on the natural partial order on naturals, i.e.…

We define an extension of parity from the integers to the rational numbers. Three parity classes are found -- even, odd and `none'. Using the 2-adic valuation, we partition the rationals into subgroups with a rich algebraic structure. The…

We show that every Borel graph $G$ of subexponential growth has a Borel proper edge-coloring with $\Delta(G) + 1$ colors. We deduce this from a stronger result, namely that an $n$-vertex (finite) graph $G$ of subexponential growth can be…

Let P be a polygon whose vertices have been colored (labeled) cyclically with the numbers 1,2,...,c. Motivated by conjectures of Propp, we are led to consider partitions of P into k-gons which are proper in the sense that each k-gon…

A coloring of vertices of a graph is called perfect if, for every vertex, the collection of colors of its neighbors depends only on its own color. The correspondent color partition of vertices is called equitable. We note that a number of…

A conjecture by Sun states that the partition function $p(n)$, for $n>1$, is never a perfect power. Recent work by Merca et al. proposes generalizations of perfect-power repulsion for $p(n)$. In this note, we prove these generalizations for…

Given a graph $G$, the Bell $k$-coloring graph $\mathcal{B}_k(G)$ has vertices given by partitions of $V(G)$ into $k$ independent sets (allowing empty parts), with two partitions adjacent if they differ only in the placement of a single…

I prove that the Borel directed graphs whose vertex set admits a partition into two Borel acyclic sets form a $\mathbf\Sigma^1_2$-complete set; equivalently, that deciding whether a Borel directed graph has Borel dichromatic number at…