Prime model

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 ).

  1. ^ McNulty, George (2016). Elementary Model Theory (PDF). UNIVERSITY OF SOUTH CAROLINA. p. 12.