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.

A Note on Internal Partitions: The 5-Regular Case and Beyond

Partitioning the projective plane into two incidence‐rich parts

Partitioning the projective plane to two incidence-rich parts

Schmidt Type Partitions

Unfriendly partitions when avoiding vertices of finite degree

Weak Internal Partition of Regular Graphs

A Note on Almost Balanced Bipartitions of A Graph

Arithmetic properties of $5$-regular partitions into distinct parts

Regular partitions of gentle graphs

Weak External Bisections of Regular Graphs

New Invariants for Partitioning a Graph into 2-connected Subgraphs

A Note on Hamiltonian-Intersecting Families of Graphs

The regularity of almost all edge ideals

A note on nearly platonic graphs

Noncrossing partitions of a marked surface

Quasi-tree-partitions of graphs with an excluded subgraph

Noncrossing partitions under rotation and reflection

Counting connected partitions of graphs

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

Tverberg Partition Graphs

Equivalent regular partitions of three‐uniform hypergraphs