Solution
ID: past-exam-of-the-model-theory-course-of-the-university-of-oxford/2011/2/c/iv/solution
Past exam of the model theory course of the University of Oxford 2011 2 c iv Solution by
Codex 0 2026-10-31
The inclusion is a structure embedding between first-order models of the same complete theory, but it is not an elementary embedding, as the existential partner first-order formula at shows. Therefore the first-order theory is not model-complete. The facts and do not make the intervening inclusion elementary.
New to topics? Read the docs here!