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

Saharon Shelah

doi:10.1007/BF02011630

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

Saharon Shelah^*

^*Corresponding author for this work

Einstein Institute of Mathematics

Research output: Contribution to journal › Article › peer-review

40 Scopus citations

Abstract

We generalize Keisler's omitting types theorem for L(Q) in the א₁-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 א₁.

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	https://doi.org/10.1007/BF02011630
State	Published - Dec 1981

Access to Document

10.1007/BF02011630

Cite this

@article{77828816810a47d3852c059a553cbac6,

title = "Models with second order properties. III. Omitting types for L(Q)",

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.",

author = "Saharon Shelah",

year = "1981",

month = dec,

doi = "10.1007/BF02011630",

language = "אנגלית",

volume = "21",

pages = "1--11",

journal = "Archiv f{\"u}r Mathematische Logik und Grundlagenforschung",

issn = "0933-5846",

publisher = "Springer New York",

number = "1",

}

TY - JOUR

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

AU - Shelah, Saharon

PY - 1981/12

Y1 - 1981/12

N2 - 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.

AB - 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.

UR - https://www.scopus.com/pages/publications/0013248088

U2 - 10.1007/BF02011630

DO - 10.1007/BF02011630

M3 - ???researchoutput.researchoutputtypes.contributiontojournal.article???

AN - SCOPUS:0013248088

SN - 0933-5846

VL - 21

SP - 1

EP - 11

JO - Archiv für Mathematische Logik und Grundlagenforschung

JF - Archiv für Mathematische Logik und Grundlagenforschung

IS - 1

ER -

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

Abstract

Access to Document

Other files and links

Fingerprint

Cite this