Solution
= Solution
A complete theory $T$ is <strongly minimal theory>[strongly minimal] when, in every model of $T$, every definable subset of the home sort in one variable, allowing parameters, is finite or cofinite.
= Solution
A complete theory $T$ is <strongly minimal theory>[strongly minimal] when, in every model of $T$, every definable subset of the home sort in one variable, allowing parameters, is finite or cofinite.