1 Answers
In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson.
5 views
Answered