arXiv++ Combinatorics

We introduce and study a notion of Borel order dimension for Borel quasi orders. It will be shown that this notion is closely related to the notion of Borel dichromatic number for simple directed graphs. We prove a dichotomy, which generalizes the ${\GGG}_{0}$-dichotomy, for the Borel dichromatic number of Borel simple directed graphs. By applying this dichotomy to Borel quasi orders, another dichotomy that characterizes the Borel quasi orders of uncountable Borel dimension is proved. We obtain further structural information about the Borel quasi orders of countable Borel dimension by showing that they are all Borel linearizable. We then investigate the locally countable Borel quasi orders in more detail, paying special attention to the Turing degrees, and produce models of set theory where the continuum is arbitrarily large and all locally countable Borel quasi orders are of Borel dimension less than the continuum. Combining our results here with earlier work shows that the Borel order dimension of the Turing degrees is usually strictly larger than its classical order dimension.

We define some natural notions of strong and weak Borel Ramsey properties for countable Borel equivalence relations and show that they hold for a countable Borel equivalence relation if and only if the equivalence relation is smooth. We also consider some variation of the notion for hyperfinite non-smooth Borel equivalence relations.

We study the coarse classification of partial orderings using chain conditions in the context of descriptive combinatorics. We show that (unlike the Borel counterpart of many other combinatorics), we have a distinct hierarchy of different chain conditions, similar to the classical case.