The concept of ultra-universal algebras in varieties is generalized to models of first order theories. Characterizations of theories which have ulta-universal models are found and general examples of ultra-universal models are investigated. In particular we show that a theory has an ultra-universal model iff it is consistent and its class of models satisfies the joint embedding property.
展开▼