Past exam of the mathematics course of the University of Cambridge / 2015 / iii / Paper 23 / 5 / e

Use the first-order language with one constant $c$, take $\mathcal{M}=(\mathbb{N},c=0)$ with equality only, and let $A=\varnothing$. SetThis complete type contains $x=c$ and is isolated by that formula. In any first-order structure, at most one element can satisfy $x=c$. In every $\mathcal{N}\equiv \mathcal{M}$, its interpretation of $c$ realizes $P$, by elementary equivalence. Hence no elementarily equivalent model has infinitely many realizations of $P$. An algebraic type can have a fixed finite number of realizations in every model.

A counterexample can even use a nonalgebraic isolated type. Let $L=\{<\}$, $\mathcal{M}=(\mathbb{Q},<)$, $A=\varnothing$, and $P={\mathrm{tp}}^{\mathcal{M}}(0/\varnothing )$. The quantifier elimination for dense linear orders without endpoints shows that all elements have the same complete type over the empty set: a one-variable quantifier-free formula has no order information except $x=x$ and $x<x$.

Thus $x=x$ isolates $P$. Every $\mathcal{N}\equiv \mathcal{M}$ is a dense linear order without endpoints, and every element of $N$ realizes $P$. Such a model cannot omit it. Even a type with infinitely many realizations need not be omittable; isolation is the relevant obstruction.