2022/01/02 by Zapletal, Jindrich
#03E35 #05C15 #14P99 #FOS: Mathematics #Logic (math.LO)
paper · doi:10.48550/arxiv.2201.00275
Let n>0 be a number. Let Gn be the graph on n-dimensional Euclidean space connecting points of rational distance. It is consistent with the choiceless theory ZF+DC that Gn has countable chromatic number yet Gn+1 does not.