bn:00830815n
Noun Concept
SYL
No term available
EN
In model theory, a first-order theory is called model complete if every embedding of its models is an elementary embedding. Wikipedia
Relations
Sources
IS A