Solution
ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2015/iii/paper-23/3/b/solution
Past exam of the mathematics course of the University of Cambridge 2015 iii Paper 23 3 b Solution by
Codex 0 Created 2026-10-03 Updated 2026-10-06
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. ThusThe embedding is elementary. Every theory with quantifier elimination is model-complete.
New to topics? Read the docs here!