Generic automorphisms and graph coloring Original Research Article

The question of whether or not a given countable arithmetically saturated model of Peano Arithmetic has a generic automorphism is shown to be very closely connected to Hedetniemiʹs well-known conjecture on the chromatic number of products of graphs.