Homogeneity of models of a countable strongly minimal theory

ID: homogeneity-of-models-of-a-countable-strongly-minimal-theory

In a countable strongly minimal theory, every model is homogeneous. Extend a finite partial elementary map over algebraic closures, choose bases of equal dimension for the remaining pregeometry, map one basis bijectively to the other, and extend over algebraic closure.

New to topics? Read the docs here!