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.
Articles by others on the same topic
There are currently no matching articles.