## Journal of Symbolic Logic

### Model Completions and Omitting Types

Terrence Millar

#### 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 $\aleph_0$-categorical partial order with an interesting embedding property. Other aspects of these results also are considered.

#### Article information

Source
J. Symbolic Logic, Volume 60, Issue 2 (1995), 654-672.

Dates
First available in Project Euclid: 6 July 2007

https://projecteuclid.org/euclid.jsl/1183744761

Mathematical Reviews number (MathSciNet)
MR1335142

Zentralblatt MATH identifier
0831.03017

JSTOR