Past exam of the model theory course of the University of Oxford / 2011 / 1 / a / Solution

Here parameter-free definability is intended: parameters are not silently added to the first-order language. A subset $D\subseteq A^n$ is a definable set when some $L$-first-order formula $\phi (x_1,\dots ,x_n)$ satisfiesA definable function is one whose graph is a definable set. Thus $f:A^n\to A$ is definable when an $L$-formula $\theta (\mathbf{x},y)$ satisfiesIn particular $\mathcal{A}\models \forall \mathbf{x}\exists !y\theta (\mathbf{x},y)$. Definability over a parameter set $B$ permits parameters from $B$ in these first-order formulas, equivalently new constants naming those parameters. That is a different requirement: allowing a parameter naming an element would immediately define its singleton.