### Realizing and omitting sets of formulas

If $\Sigma$ is a set of formulas in the free variables $x_1,\cdots,x_n$ over the language $\mathscr{L}$, and $\mathfrak{A}$ is a model of $\mathscr{L}$, then we say that $\mathfrak{A}$ **realizes** $\Sigma$ (or, $\Sigma$ **is satisfiable in $\mathfrak{A}$**) if some n-tuple of elements of $A$ satisfies $\Sigma$ (i.e. satisfies $\sigma$ for each $\sigma\in\Sigma$). On the other hand, we say that $\mathfrak{A}$ **omits** $\Sigma$ iff it does not realize $\Sigma$. Additionally, we say that $\Sigma$ is *consistent* iff it is satisfiable in some model.

For instance, the set of formulas $\Sigma(x)$ given by is omitted by the standard model of Peano Arithmetic but realized by the nonstandard models.

# model-theory

# first-order-logic

back to home page