Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-23/3/b/solution

Assume has quantifier elimination, and let be a structure embedding between its models. For any first-order formula , choose a quantifier-free formula equivalent to it modulo . A structure embedding preserves and reflects atomic formulas; induction through the Boolean connectives therefore preserves every quantifier-free formula. Thus
The embedding is elementary. Every theory with quantifier elimination is model-complete.

New to topics? Read the docs here!