Chromatic number of the product of graphs, graph homomorphisms, Antichains and cofinal subsets of posets without AC

We have observations concerning the set theoretic strength of the following combinatorial statements without the axiom of choice. 1. If in a partially ordered set, all chains are finite and all antichains are countable, then the set is countable. 2. If in a partially ordered set, all chains are finite and all antichains have size $\aleph_{\alpha}$, then the set has size $\aleph_{\alpha}$ for any regular $\aleph_{\alpha}$. 3. CS (Every partially ordered set without a maximal element has two disjoint cofinal subsets). 4. CWF (Every partially ordered set has a cofinal well-founded subset). 5. DT (Dilworth's decomposition theorem for infinite p.o.sets of finite width). 6. If the chromatic number of a graph $G_{1}$ is finite (say $k<\omega$), and the chromatic number of another graph $G_{2}$ is infinite, then the chromatic number of $G_{1}\times G_{2}$ is $k$. 7. For an infinite graph $G=(V_{G}, E_{G})$ and a finite graph $H=(V_{H}, E_{H})$, if every finite subgraph of $G$ has a homomorphism into $H$, then so has $G$. Further we study a few statements restricted to linearly-ordered structures without the axiom of choice.Comment: Revised versio

Free groups and the axiom of choice

The Nielsen–Schreier theorem states that subgroups of free groups are free. As all of its proofs use the Axiom of Choice, it is natural to ask whether the theorem is equivalent to the Axiom of Choice. Other questions arise in this context, such as whether the same is true for free abelian groups, and whether free groups have a notion of dimension in the absence of Choice. In chapters 1 and 2 we define basic concepts and introduce Fraenkel–Mostowski models. In chapter 3 the notion of dimension in free groups is investigated. We prove, without using the full Axiom of Choice, that all bases of a free group have the same cardinality. In contrast, a closely related statement is shown to be equivalent to the Axiom of Choice. Schreier graphs are used to prove the Nielsen–Schreier theorem in chapter 4. For later reference, we also classify Schreier graphs of (normal) subgroups of free groups. Chapter 5 starts with an analysis of the use of the Axiom of Choice in the proof of the Nielsen–Schreier theorem. Then we introduce representative functions – a tool for constructing choice functions from bases. They are used to deduce the finite Axiom of Choice from Nielsen–Schreier, and to prove the equivalence of a strong form of Nielsen–Schreier and the Axiom of Choice. Using Fraenkel–Mostowski models, we show that Nielsen–Schreier cannot be deduced from the Boolean Prime Ideal Theorem. Chapter 6 explores properties of free abelian groups that are similar to those considered in chapter 5. However, the commutative setting requires new ideas and different proofs. Using representative functions, we deduce the Axiom of Choice for pairs from the abelian version of the Nielsen–Schreier theorem. This implication is shown to be strict by proving that it doesn’t follow from the Boolean Prime Ideal Theorem. We end with a section on potential applications to vector spaces