Models with second order properties. III. Omitting types for L(Q)

Saharon Shelah*

*Corresponding author for this work

Research output: Contribution to journalArticlepeer-review

40 Scopus citations

Abstract

We generalize Keisler's omitting types theorem for L(Q) in the א1-interpretation, to most cases in which Chang's two cardinal theorem applies. As an application we answer positively a question of Magidor and Malitz on the compactness of their logic in cardinalities higher than א1.

Original languageEnglish
Pages (from-to)1-11
Number of pages11
JournalArchiv für Mathematische Logik und Grundlagenforschung
Volume21
Issue number1
DOIs
StatePublished - Dec 1981

Fingerprint

Dive into the research topics of 'Models with second order properties. III. Omitting types for L(Q)'. Together they form a unique fingerprint.

Cite this