A complete theory is strongly minimal when every definable one-variable subset of every model is finite or cofinite.
A pregeometry is a closure operator with finite character and exchange. Algebraic closure in a strongly minimal theory is a pregeometry.
Articles by others on the same topic
In model theory, a branch of mathematical logic, a theory is termed "strongly minimal" if it satisfies certain specific properties related to definable sets.