Abstract:We work with simple graphs in ZF (Zermelo--Fraenkel set theory without the Axiom of Choice (AC)) and assume that the sets of colors can be either well-orderable or non-well-orderable to prove that the following statements are equivalent to Kőnig Lemma: (a) Any infinite locally finite connected graph G such that the minimum degree of G is greater than k, has a chromatic number for any fixed integer k greater than or equal to 2. (b) Any infinite locally finite connected graph has a chromatic index. (c) Any infinite locally finite connected graph has a distinguishing number. (d) Any infinite locally finite connected graph has a distinguishing index. Our results strengthen some results of Stawiski from a recent paper on the role of the Axiom of Choice in proper and distinguishing colorings since he assumed that the sets of colors can be well-ordered. We also formulate new conditions for the existence of irreducible proper coloring, minimal edge cover, maximal matching, and minimal dominating set in connected bipartite graphs and locally finite connected graphs, which are either equivalent to AC or Kőnig Lemma. Moreover, we show that if the Axiom of Choice for families of 2 element sets holds, then the Shelah--Soifer graph has a minimal dominating set.

Monochromatic Sumsets in Countable Colourings of Abelian Groups

Owings-like theorems for infinitely many colours or finite monochromatic sets

Monochromatic non-commuting products

Monochromatic Polynomial sumset structures on $\mathbb{N}$

Monochromatic Polynomial sumset structures on $\mathbb{N}$: an ultrafilter proof

Minimal Sufficient Sets of Colors and Minimum Number of Colors

Monochromatic Sums and Products over $\mathbb{Q}$

Distinguishing colorings, proper colorings, and covering properties without the Axiom of Choice

Chromatic numbers of Cayley graphs of abelian groups: Cases of small dimension and rank

Monochromatic products and sums in the rationals

Coloring minimal Cayley graphs

Sumset phenomenon in countable amenable groups

Sufficient Conditions for Properly Colored C3’s and C4’s in Edge-Colored …

Properly Colored and Rainbow Cycles in Edge-Colored Graphs

A non-constructive proof of the Four Colour Theorem

A note on multicolour Erdős-Hajnal conjecture

A group theoretical treatise on color mixing

Exponential bounds for monochromatic sums equal to products

The adjacent Hindman's theorem for uncountable groups

Canonical Theorems for Colored Integers with Respect to Some Linear Combinations

Monochromatic configurations induced from the set of sums of two squares