Journal of Symbolic Logic

Model Completions and Omitting Types

Terrence Millar

Full-text is available via JSTOR, for JSTOR subscribers. Go to this article in JSTOR.

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


Export citation