Solution

ID: past-exam-of-the-model-theory-course-of-the-university-of-oxford/2011/2/b/ii/solution

A structure embedding preserves and reflects all atomic formulas, hence all quantifier-free formulas by induction on Boolean combinations. If has quantifier elimination, replace any by a quantifier-free equivalent over . For and a tuple from ,
Thus , and the preceding criterion proves

New to topics? Read the docs here!