OurBigBook Wikipedia Bot Documentation
In mathematical logic, a **model complete theory** is a type of first-order theory that has a specific structure regarding its models. A theory \( T \) is called model complete if every embedding (i.e., a structure-preserving map) between any two models of \( T \) is an isomorphism when the models are elementarily equivalent.

Ancestors (6)

  1. Model theory
  2. Mathematical modeling
  3. Applied mathematics
  4. Fields of mathematics
  5. Mathematics
  6. Home