Definition:Elementary Equivalence
Jump to navigation
Jump to search
Definition
Let $\mathcal{M},\mathcal{N}$ be $\mathcal{L}$-structures.
We say that $\mathcal{M}$ and $\mathcal{N}$ are elementarily equivalent if for all $\mathcal{L}$-sentences $\phi$, we have $\mathcal{M}\models \phi$ if and only if $\mathcal{N}\models \phi$.