Strongly minimal theory (source code)

= Strongly minimal theory
{wiki=Strongly_minimal_theory}

In model theory, a branch of mathematical logic, a theory is termed "strongly minimal" if it satisfies certain specific properties related to definable sets.