Past exam of the mathematics course of the University of Cambridge / 2018 / iii / Paper 121 / 1 / i / Solution

The Tarski-Vaught test says that $(M,\in )$ is an elementary substructure of $(N,\in )$ if and only if every existential statement true in $N$ with parameters from $M$ has a witness in $M$ that satisfies its matrix in $N$. Explicitly, for every first-order formula $\psi (x,\bar{y})$ and every parameter tuple $\bar{a}\in M^{|\bar{y}|}$, requireThe truth of the matrix in this test is evaluated in the larger structure $N$. Under this criterion, $(M,\in )\prec (N,\in )$ means that all first-order formulas with parameters from $M$ have identical truth values in the two structures.