This article needs additional citations for verification. (November 2022) |
In mathematics, and in particular model theory,[1] a prime model is a model that is as simple as possible. Specifically, a model is prime if it admits an elementary embedding into any model to which it is elementarily equivalent (that is, into any model satisfying the same complete theory as ).