MODEL COMPLETIONS AND OMITTING TYPES

Authors
MILLAR T
Citation
T. Millar, MODEL COMPLETIONS AND OMITTING TYPES, The Journal of symbolic logic, 60(2), 1995, pp. 654-672
Citations number
7
Categorie Soggetti
Mathematics, Pure",Mathematics
Journal title
The Journal of symbolic logic → ACNP
ISSN journal
00224812
Volume
60
Issue
2
Year of publication
1995
Pages
654 - 672
Database
ISI
SICI code
0022-4812(1995)60:2<654:MCAOT>2.0.ZU;2-4
Abstract
Universal theories with model completions are characterized. A new omi tting types theorem is proved. These two results are used to prove the existence of a universal N-0-categorical partial order with an intere sting embedding property. Other aspects df these results also are cons idered.