English
Related papers

Related papers: Baire-class $\xi$ colorings: the first three level…

200 papers

We extend classical notions of definable colourability of graphs to the general projective setting and investigate whether known results, mainly about the $G_0$ dichotomy and the $2n + 1$ conjecture, hold in the context of higher projective…

Logic · Mathematics 2026-04-24 Adrian Rettich , Luke Serafin

We construct Borel graphs which settle several questions in descriptive graph combinatorics. These include "Can the Baire measurable chromatic number of a locally finite Borel graph exceed the usual chromatic number by more than one?" and…

Logic · Mathematics 2020-04-07 Felix Weilacher

We establish two versions of Vizing's theorem for Borel multi-graphs whose vertex degrees and edge multiplicities are uniformly bounded by respectively $\Delta$ and $\pi$. The ``approximate'' version states that, for any Borel probability…

Combinatorics · Mathematics 2020-07-21 Jan Grebík , Oleg Pikhurko

It is proved that in Godel's constructible universe, for every infinite successor cardinal k, there exist graphs G and H of size and chromatic number k, for which the tensor product graph (G x H) is countably chromatic.

Combinatorics · Mathematics 2013-07-26 Assaf Rinot

The Unfriendly Partition Conjecture posits that every countable graph admits a 2-colouring in which for each vertex there are at least as many bichromatic edges containing that vertex as monochromatic ones. This is not known in general, but…

Combinatorics · Mathematics 2023-03-22 John Haslegrave

A Borel equivalence relation on a Polish space is said to be countable if all of its equivalence classes are countable. Standard examples of countable Borel equivalence relations (on the space of subsets of the integers) that occur in…

Logic · Mathematics 2007-05-23 Randall Dougherty , Alexander S. Kechris

Descriptive set theory is mainly concerned with studying subsets of the space of all countable binary sequences. In this paper we study the generalization where countable is replaced by uncountable. We explore properties of generalized…

Logic · Mathematics 2025-11-25 Sy-David Friedman , Tapani Hyttinen , Vadim Kulikov

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…

Combinatorics · Mathematics 2021-10-04 Anton Bernshteyn , Clinton T. Conley

We study the class of analytic binary relations on Polish spaces, compared with the notions of continuous reducibility or injective continuous reducibility. In particular, we characterize when a locally countable Borel relation is $\Sigma$…

General Topology · Mathematics 2020-05-28 Dominique Lecomte

Let xi be a non-null countable ordinal. We study the Borel subsets of the plane that can be made $\bormxi$ by refining the Polish topology on the real line. These sets are called potentially $\bormxi$. We give a Hurewicz-like test to…

Logic · Mathematics 2007-10-02 Dominique Lecomte

We show that if an equivalence relation $E$ on a Polish space is a countable union of smooth Borel subequivalence relations, then there is either a Borel reduction of $E$ to a countable Borel equivalence relation on a Polish space or a…

Logic · Mathematics 2025-01-22 N. de Rancourt , B. D. Miller

Colouring problems arising from group-based constructions provide a natural link between combinatorics and algebra, particularly in the study of Cayley graphs and Latin squares. We introduce the notion of colouring bijections of finite…

Combinatorics · Mathematics 2026-03-25 Piotr Grzeszczuk

Motivated by the observation that the counting function of a certain base-3 colored partition contains the even perfect numbers as a subsequence, we begin by defining a sequence of polynomials in four variables and discuss their properties…

Combinatorics · Mathematics 2025-09-04 Karl Dilcher , Larry Ericksen

We define and study expansion problems on countable structures in the setting of descriptive combinatorics. We consider both expansions on countable Borel equivalence relations and on countable groups, in the Borel, measure and category…

Logic · Mathematics 2025-05-13 Michael Wolman

We indicate a way of distinguishing between structures, for which, we call two structures distinguishable. Roughly, being distinguishable means that they differ in the number of realizations each gives for some formula. Being…

Logic · Mathematics 2016-11-04 Mohammad Assem

In this note, we prove that the base case of the Graham--Rothschild Theorem, i.e., the one that considers colorings of the ($1$-dimensional) variable words, admits bounds in the class $\mathcal{E}^5$ of Grzegorczyk's hierarchy.

Combinatorics · Mathematics 2014-09-05 Konstantinos Tyros

Let H be a product of countably infinite number of copies of an uncountable Polish space X. Let $\Sigma_\xi$ $(\bar {\Sigma}_\xi)$ be the class of Borel sets of additive class \xi for the product of copies of the discrete topology on X (the…

Logic · Mathematics 2007-07-16 Rana Barua , Ashok Maitra

Let $X$ be a Polish space and $K$ a separable compact subset of the first Baire class on $X$. For every sequence $\bs$ dense in $\kk$, the descriptive set-theoretic properties of the set \[ \lbf=\{L\in[\nn]: (f_n)_{n\in L} \text{is…

Logic · Mathematics 2008-05-15 Pandelis Dodos

We show that every basis for the countable Borel equivalence relations strictly above $\mathbb{E}_0$ under measure reducibility is uncountable, thereby ruling out natural generalizations of the Glimm-Effros dichotomy. We also push many…

Logic · Mathematics 2020-02-25 Clinton T. Conley , Benjamin D. Miller

We show that every $d$-regular bipartite Borel graph admits a Baire measurable $k$-regular spanning subgraph if and only if $d$ is odd or $k$ is even. This gives the first example of a locally checkable coloring problem which is known to…

Logic · Mathematics 2024-08-20 Matt Bowen , Clinton T. Conley , Felix Weilacher