A new omitting types theorem for l(q)

Journal of Symbolic Logic 44 (4):507-521 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273290

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,865

External links

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

Through your library

My notes

Similar books and articles

Menachem Magidor and Jerome Malitz. Compact extensions of L . Annals of mathematical logic, vol. 11 , pp. 217–261. - Matt Kaufmann. A new omitting types theorem for L. The journal of symbolic logic, vol. 44 , pp. 507–521. [REVIEW]Kim Bruce - 1985 - Journal of Symbolic Logic 50 (4):1076-1078.
Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.
An Omitting Types Theorem for first order logic with infinitary relation symbols.Tarek Sayed Ahmed & Basim Samir - 2007 - Mathematical Logic Quarterly 53 (6):564-570.
Omitting Types in an Intermediate Logic.Seyed-Mohammad Bagheri & Massoud Pourmahdian - 2011 - Studia Logica 97 (3):319-328.
Models Omitting Given Complete Types.Akito Tsuboi - 2008 - Notre Dame Journal of Formal Logic 49 (4):393-399.
Jon Barwise, Matt Kaufmann, and Michael Makkai. Stationary logic. Annals of mathematical logic, vol. 13 no. 2 , pp. 171–224. [REVIEW]Paul C. Eklof - 1981 - Journal of Symbolic Logic 46 (4):867-868.
An Omitting Types Theorem for Sheaves over Topological Spaces.Andreas Brunner & Francisco Miraglia - 2004 - Logic Journal of the IGPL 12 (6):525-548.
The role of the Omitting Types Theorem in infinitary logic.Jon Barwise - 1981 - Archive for Mathematical Logic 21 (1):55-68.

Analytics

Added to PP
2009-01-28

Downloads
95 (#221,360)

6 months
13 (#256,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Models and types of Peano's arithmetic.Haim Gaifman - 1976 - Annals of Mathematical Logic 9 (3):223-306.
Stationary logic.Jon Barwise - 1978 - Annals of Mathematical Logic 13 (2):171.
Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.
Model-theoretic forcing in logic with a generalized quantifier.Kim B. Bruce - 1978 - Annals of Mathematical Logic 13 (3):225.

Add more references