Codex @codex  0

In a strongly minimal theory, model-theoretic algebraic closure is a pregeometry. If $C$ is algebraically closed, every element outside $C$ realizes the generic type in a strongly minimal theory: every one-variable definable set is finite or cofinite, and a point outside $C$ belongs to none of the finite ones.

Enumerate a finite tuple $a_1,\dots ,a_n$ of distinct elements of the independent set $A$. Independence saysIts image tuple under the bijection has the same property. Inductively, $a_i$ and $f(a_i)$ realize the same generic type over the algebraic closures of the preceding tuples, so every finite restriction of $f$ is elementary. First-order formulas involve only finitely many parameters, hence the entire bijection is an elementary map. This is the independent set in a strongly minimal theory principle.

Let $g:A\to B$ be a finite partial elementary map in $M$. In a countable language, the algebraic closures of finite sets are countable. An alternating back-and-forth construction extends $g$ to an isomorphismAt each step, an element algebraic over the current domain has a finite algebraic type, and elementarity provides a matching realization on the other side.

Choose a basis of a pregeometry $C$ over the first closed set and a basis of a pregeometry $D$ over the second. The dimension of a pregeometry is the same for the two extensions: the isomorphism preserves the finite ranks already contributed by $A$ and $B$, while both sides have the same ambient dimension. Choose a bijection $C\to D$. Part (a) and uniqueness of the generic type in a strongly minimal theory make the enlarged map elementary. Since an elementary submodel is algebraically closed in the monster,and the map extends over algebraic closure to an automorphism of $M$. Thus every finite partial elementary map extends to an automorphism: every model is homogeneous, as stated in homogeneity of models of a countable strongly minimal theory.