Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 60, Issue 2 (1995), 654-672.
Model Completions and Omitting Types
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
Permanent link to this document
https://projecteuclid.org/euclid.jsl/1183744761
Mathematical Reviews number (MathSciNet)
MR1335142
Zentralblatt MATH identifier
0831.03017
JSTOR
links.jstor.org
Citation
Millar, Terrence. Model Completions and Omitting Types. J. Symbolic Logic 60 (1995), no. 2, 654--672. https://projecteuclid.org/euclid.jsl/1183744761
