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 language | English |
---|---|
Pages (from-to) | 1-11 |
Number of pages | 11 |
Journal | Archiv für Mathematische Logik und Grundlagenforschung |
Volume | 21 |
Issue number | 1 |
DOIs | |
State | Published - Dec 1981 |