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

Links

PhilArchive



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

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

Omitting uncountable types and extensions of Elementary logic.Per Lindström - 1978 - Theoria 44 (3):152-156.
Omitting types in incomplete theories.Enrique Casanovas & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (1):236-245.
Martin's axiom, omitting types, and complete representations in algebraic logic.Tarek Sayed Ahmed - 2002 - Studia Logica 72 (2):285 - 309.
Hanf number of omitting type for simple first-order theories.Saharon Shelah - 1979 - Journal of Symbolic Logic 44 (3):319-324.
Constructions of classical models by means of Kripke models (survey).Bernd I. Dahn - 1979 - Studia Logica 38 (4):401 - 405.
Filter logics on ω.Matt Kaufmann - 1984 - Journal of Symbolic Logic 49 (1):241-256.
Ultrapowers without the axiom of choice.Mitchell Spector - 1988 - Journal of Symbolic Logic 53 (4):1208-1219.
Omitting types of prenex formulas.C. C. Chang - 1967 - Journal of Symbolic Logic 32 (1):61-74.
Model completions and omitting types.Terrence Millar - 1995 - Journal of Symbolic Logic 60 (2):654-672.

Analytics

Added to PP
2009-01-28

Downloads
78 (#209,251)

6 months
33 (#100,173)

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

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
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.

View all 6 references / Add more references