Matches in DBpedia 2015-10 for { ?s ?p "In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson."@en }
Showing triples 1 to 2 of
2
with 100 triples per page.
- Model_complete_theory abstract "In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson.".
- Model_complete_theory comment "In model theory, a first-order theory is called model complete if every embedding of models is an elementary embedding. Equivalently, every first-order formula is equivalent to a universal formula.This notion was introduced by Abraham Robinson.".