Model completions and omitting types
Terrence S. Millar · Journal of Symbolic Logic · 1995
Abstract Universal theories with model completions are characterized. A new omitting types theorem is proved. These two results are used to prove the existence of a universal ℵ0-categorical partial order with an interesting embedding property. Other aspects of these results also are considered.