2019/05/02 by Joó, Attila
#Combinatorics (math.CO) #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.1905.00782
A. Hajnal and P. Erdős proved that a graph with uncountable chromatic number cannot avoid short cycles, it must contain for example C4 (among other obligatory subgraphs). It was shown recently by D. T. Soukup that, in contrast of the undirected case, it is consistent that for any n<ω there exists an uncountably dichromatic digraph without directed cycles shorter than n . He asked if it is provable already in ZFC. We answer his question positively by constructing for every infinite cardinal κ and n<ω a digraph of size 2κ with dichromatic number at least κ+ which does not contain directed cycles of length less than n as a subdigraph.