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.

It will be shown to be consistent that there are at least two non-isomorphic selective ultrafilters, but no stable ordered-union ultrafilters. This answers a question of Blass from his 1987 paper which introduced the concept of a stable ordered-union ultrafilter.

We show that if $\mathcal{T}$ is any Hausdorff topology on $ω_{1}$, then any subset of $ω_{1}$ which is homeomorphic to the rationals under $\mathcal{T}$ can be refined to a homeomorphic copy of the rationals on which $\barρ$ is shift-increasing.

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}$ whenever $X$ is any set of reals which is homeomorphic to $\mathbb{Q}$. This generalizes a theorem of Baumgartner and sheds further light on a problem of Galvin from the 1970s. Our result also complements and contrasts with our earlier result saying that any coloring of ${\left[ \mathbb{R} \right]}^{2}$ into finitely many colors can be reduced to at most $2$ colors on the pairs of some set of reals which is homeomorphic to $\mathbb{Q}$ when large cardinals exist.

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 conjecture of Galvin from the 1970s. We extend this result to an essentially optimal class of topological spaces in place of the reals.