This question is about the principle of excluded middle and its relation to the axiom of choice on finite sets.
I am new to the principle of excluded middle and I was reading it on nLab and Wikipedia. Intuitively, it is saying that any truth value can only be true or false.
https://ncatlab.org/nlab/show/excluded+middle
https://en.wikipedia.org/wiki/Law_of_excluded_middle
In nLab, it states the Diaconescu-Goodman-Myhill theorem. I kind of understand the statement in the theorem, but I don't understand the proof… Wikipedia also state the theorem in a different way, but I also don't quite understand it. I am going to state the theorem and the proof as in nLab below because it puzzles me more:
Diaconescu-Goodman-Myhill theorem:
The following statements are equivalent.
- The principle of excluded middle.
- Finitely indexed sets are projective (in fact, it suffices 2-indexed sets to be projective).
- Finite sets are choice (in fact, it suffices for 2 to be choice).
Here, a set $A$ is finite or finitely-indexed (respectively) if, for some natural number $n$, there is a bijection or surjection (respectively) $\{0,…,n−1\} \rightarrow A$.
Proof:
If $p$ is a truth value, then divide $\{0,1\}$ by the equivalence relation where $0 \equiv 1$ iff $p$ holds. Then we have a surjection $2 \rightarrow A$, whose domain is $2$ (and in particular, finite), and whose codomain $A$ is finitely-indexed. But this surjection splits iff $p$ is true or false, so if either $2$ is choice or $2$-indexed sets are projective, then PEM holds.
On the other hand, if PEM holds, then we can show by induction that if $A$ and $B$ are choice, so is $A\coprod B$ (add details). Thus, all finite sets are choice. Now if $n \rightarrow A$ is a surjection, exhibiting $A$ as finitely indexed, it has a section $A \rightarrow n$. Since a finite set is always projective, and any retract of a projective object is projective, this shows that $A$ is projective. $\blacksquare$
What I don't understand:
- What is $A$? Is it $A = \{[x]: x \in \{0,1\} \wedge p\}$. My set notation may be a bit off; please correct me if there is something wrong.
- Is the surjection from $2$ to $A$ define as $x \mapsto [x]$? Is $p$ playing any role in defining this map?
- What does it mean that $A$ is finitely-indexed?
- What is the $2$-indexed set? Is it $A$?
- How do we show that if $A$ and $B$ are choice, then $A \coprod B$ is also choice.
- The previous bullet point then implies that all finite sets are choice. Is it because all finite sets are disjoint union of some smaller sets? Then what is the base case in the induction? Is it the set $2$? How do we prove that $2$ is choice with PEM?
- If $n \rightarrow A$ is a surjection, it has a section $A \rightarrow n$? It is because $n$ is finite and is a choice, hence we can invoke the axiom of choice?
- Why is a finite set always projective?
I think the biggest problem I am facing is that I don't see the big picture of the proof. I guess it is because I am not familiar with mathematics without the excluded middle. It is such a strange world.
Best Answer
Unfortunately, some of the terminology they use such as "truth value", are defined for arbitrary topoi as I think they meant for this argument to work in any topos. In the category of sets, a truth value by nLab's definition is simply a function $p:1\to \Omega$ where $\Omega$ is a subobject classifier (here $1=\{0\}$). You can think of $\Omega$ as being the set of truth values and $p$ as being a function which picks out one of those truth values. So when they say $0\equiv 1$ iff $p$ holds, what they mean is $0\equiv 1$ if $p(0)=true$ and $0\not\equiv 1$ if $p(0)=false$ (a priori we cannot say "$p(0)=true$ or $p(0)=false$"). I will attempt to answer your questions in the order you listed them.
Let me know if you need any additional clarification on any points.