arXiv++ Combinatorics

A Hajnal--Máté graph is an uncountably chromatic graph on $ω_1$ satisfying a certain natural sparseness condition. We investigate Hajnal-Máté graphs and generalizations thereof, focusing on the existence of Hajnal-Máté graphs in models resulting from adding a single Cohen real. In particular, answering a question of Dániel Soukup, we show that such models necessarily contain triangle-free Hajnal-Máté graphs. In the process, we isolate a weakening of club guessing called \emph{disjoint type guessing} that we feel is of interest in its own right. We show that disjoint type guessing is independent of $\mathsf{ZFC}$ and, if disjoint type guessing holds in the ground model, then the forcing extension by a single Cohen real contains Hajnal-Máté graphs $G$ such that the chromatic numbers of finite subgraphs of $G$ grow arbitrarily slowly.

We investigate the effect of adding $ω_2$ Cohen reals on graphs on $ω_2$, in particular we show that $ω_2 \to (ω_2, ω: ω)^2$ holds after forcing with $\mathsf{Add}(ω, ω_2)$ in a model of $\mathsf{CH}$. We also prove that this results is in a certain sense optimal as $\mathsf{Add}(ω, ω_2)$ forces that $ω_2 \not\to (ω_2, ω: ω_1)^2$.

We prove that the existence of a non-special tree of size $λ$ is equivalent to the existence of an uncountably chromatic graph with no $K_{ω_1}$ minor of size $λ$, establishing a connection between the special tree number and the uncountable Hadwiger conjecture. Also characterizations of Aronszajn, Kurepa and Suslin trees using graphs are deduced. A new generalized notion of connectedness for graphs is introduced using which we are able to characterize weakly compact cardinals.