Omitting types in incomplete theories

Journal of Symbolic Logic 61 (1):236-245 (1996)
  Copy   BIBTEX


We characterize omissibility of a type, or a family of types, in a countable theory in terms of non-existence of a certain tree of formulas. We extend results of L. Newelski on omitting $ non-isolated types. As a consequence we prove that omissibility of a family of $ types is equivalent to omissibility of each countable subfamily



    Upload a copy of this work     Papers currently archived: 91,202

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Omitting types for stable CCC theories.Ludomir Newelski - 1990 - Journal of Symbolic Logic 55 (3):1037-1047.
Hanf number of omitting type for simple first-order theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.
Omitting types in o-minimal theories.David Marker - 1986 - Journal of Symbolic Logic 51 (1):63-74.
Hanf numbers for omitting types over particular theories.Julia F. Knight - 1976 - Journal of Symbolic Logic 41 (3):583-588.
Omitting types and the real line.Ludomir Newelski - 1987 - Journal of Symbolic Logic 52 (4):1020-1026.
Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.


Added to PP

22 (#666,248)

6 months
5 (#526,961)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Omitting types for algebraizable extensions of first order logic.Tarek Sayed Ahmed - 2005 - Journal of Applied Non-Classical Logics 15 (4):465-489.
Neat Embeddings, Omitting Types, and Interpolation: An Overview.Tarek Sayed Ahmed - 2003 - Notre Dame Journal of Formal Logic 44 (3):157-173.
Algebraic Logic, Where Does It Stand Today?Tarek Sayed Ahmed - 2005 - Bulletin of Symbolic Logic 11 (3):465-516.
An Extension of the Lemma of Rasiowa and Sikorski.Jörg Flum - 1998 - Mathematical Logic Quarterly 44 (4):509-514.

Add more citations

References found in this work

No references found.

Add more references