Model-complete theory
= Model-complete theory
{wiki}
= Model completeness
{synonym}
= Model-complete
{synonym}
A theory is model-complete when every embedding between its models is elementary. Every model-complete theory is inductive and hence admits a forall-exists axiomatization.