ABSTRACT
Our concern here are theories that are minimal with respect to the sets that are definable in their models. Namely, a complete theory with infinite models is said to be strongly minimal if every parametrically definable subset of each of its models is either finite or cofinite.1 This is the least possible amount of sets definable by 1-place formulas with parameters, for—in any structure—finite sets are definable by disjunctions of equations, while cofinite sets are definable by negations of such.
