Model of a first-order theory
= Model of a first-order theory
= First-order model
{synonym}
A structure $M$ is a model of $T$ when $M\models\sigma$ for every sentence $\sigma\in T$.
= Model of a first-order theory
= First-order model
{synonym}
A structure $M$ is a model of $T$ when $M\models\sigma$ for every sentence $\sigma\in T$.