The categoricity of a sentence θ(P) — that any two models of θ(P) are isomorphic — can therefore be ...