I was reading David Marker’s Model Theory and came upon the following problem in Chapter 3.
Setting
Let $ \mathcal{M} $ be a saturated $ \mathcal{L} $-structure.
- A definable subset $ X \subseteq M $ is said to be strongly minimal if and only if $ X $ is defined by an $ \mathcal{L}_M $-formula $ \phi(v) $ and every subset of $ X^{\mathcal{M}} $ definable in $ \mathcal{L}_{\mathcal{M}} $ is either finite or co-finite.
- $ {\text{acl}^{X}}(A) \stackrel{\text{df}}{=} X \cap \text{acl}(A) $ is the set of all $ b \in X $ such that $ b $ is algebraic over $ A $, i.e., there is an $ \mathcal{L}_{A} $-formula $ \psi $ such that $ \mathcal{M} \models \psi(b) $ and $ |\{ c \mid \mathcal{M} \models \psi(b) \}| < \infty $.
- $ A \subseteq X $ is called independent if and only if $ a \notin \text{acl}^{X}(A \setminus \{ a \}) $ for all $ a \in X $.
Problem
I would like to show that if $ b \in {\text{acl}^{X}}(A \cup \{ c \}) $ and $ b \notin {\text{acl}^{X}}(A) $, then $ c \in {\text{acl}^{X}}(A \cup \{ b \}) $, and that for any $ A \subseteq X $, there is an independent $ B \subseteq A $ so that $ A = {\text{acl}^{X}}(B) $.
Strongly minimal sets are taken up in detail later in Marker (in Section 6.1). Part (a) of this exercise (exchange) is Lemma 6.1.4, and part (c) (any two bases have the same cardinality) is Lemma 6.1.9. Part (b), the existence of a basis (an independent set $B$ such that $X \subseteq \text{acl}(B)$) is mentioned in passing just after Definition 6.1.8.
If you want to solve the exercise yourself (and you should!) instead of looking up the proofs in Chapter 6, here are some hints.
(a) This is the trickiest one. To get you started: If $b\in \text{acl}(A\cup\{c\})\setminus \text{acl}(A)$, look at the formula $\phi(y,c)$ which algebraizes $b$ (so $M\models\phi(b,c)$ and there are exactly $n$ realizations of $\phi(y,c)$ in $X$). Now turn things around, by looking at $\exists^{!n}y\,\phi(y,z)$ as a formula that's true of $c$. Think about what strong minimality means about this formula...
(b) Try Zorn's lemma. (Contrary to Primo Petri's comment, the proof is very short, using Zorn. I would say it's part (c) that isn't short.)
(c) Do the finite and infinite cases separately. In the finite case, given two bases $B$ and $B'$, use exchange to replace elements of $B$ by elements of $B'$ one by one.