Omitting types in incomplete theories

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

Abstract

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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,795

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 and the real line.Ludomir Newelski - 1987 - Journal of Symbolic Logic 52 (4):1020-1026.
Non-isolated types in stable theories.Predrag Tanović - 2007 - Annals of Pure and Applied Logic 145 (1):1-15.
Omitting types for infinitary [ 0, 1 ] -valued logic.Christopher J. Eagle - 2014 - Annals of Pure and Applied Logic 165 (3):913-932.
Omitting types for algebraizable extensions of first order logic.Tarek Sayed Ahmed - 2005 - Journal of Applied Non-Classical Logics 15 (4):465-489.
Omitting types in logic of metric structures.Ilijas Farah & Menachem Magidor - 2018 - Journal of Mathematical Logic 18 (2):1850006.
Two applications of topology to model theory.Christopher J. Eagle, Clovis Hamel & Franklin D. Tall - 2021 - Annals of Pure and Applied Logic 172 (5):102907.
Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.

Analytics

Added to PP
2009-01-28

Downloads
33 (#693,203)

6 months
6 (#891,985)

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