= Solution
In a strongly minimal theory, model-theoretic algebraic closure is a <pregeometry>. Given finite tuples $\bar a,\bar b$ of the same type, the induced correspondence extends to an isomorphism between their algebraic closures. If $c\in\operatorname{acl}(\bar a)$, transport it through this isomorphism. If $c\notin\operatorname{acl}(\bar a)$, its type is the unique generic one over $\bar a$; choose a corresponding element outside $\operatorname{acl}(\bar b)$. Exchange ensures that this choice has the transported type. Hence every finite partial elementary map extends, and every model is aleph-zero-homogeneous.
Back to article page
