Overflow Theorem/Corollary
Jump to navigation
Jump to search
This article needs to be linked to other articles. In particular: $\Delta$-elementary You can help $\mathsf{Pr} \infty \mathsf{fWiki}$ by adding these links. To discuss this page in more detail, feel free to use the talk page. When this work has been completed, you may remove this instance of {{MissingLinks}} from the code. |
Theorem
The class of finite models is not $\Delta$-elementary.
That is:
- $\MM$ is finite.
Proof
Follows directly from the Overflow Theorem.
$\blacksquare$