Generic type in a strongly minimal theory
= Generic type in a strongly minimal theory
Over an algebraically closed parameter set in a strongly minimal theory, there is a unique nonalgebraic one-type. It is called the generic type: its realizations are precisely the elements outside the algebraic closure of the parameters.