Abstract
We generalize Keisler's omitting types theorem forL(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.
Similar content being viewed by others
References
Chang, C.C.: A note on the two-cardinal problem. Proc. Am. Math. Soc.16, 1148–1155 (1965).
Gregory, J.: Higher Souslin trees and the generalized continuum hypothesis. J. Symb. Logic41, 663–671 (1976).
Keisler, H.J.: Logic with the quantifier “there exist uncountably many”. Ann. Math. Logic1, 1–93 (1970).
Magidor, M., Malitz, J.: Compact extensions ofL(Q). Ann. Math. Logic12, 217–261 (1977).
Shelah, S.: Models with second order properties. I. Ann. Math. Logic14, 57–72 (1978).
Shelah, S.: Models with second order properties. II. Ann. Math. Logic14, 73–87 (1978).
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Shelah, S. Models with second order properties. III. Omitting types forL(Q). Arch math Logik 21, 1–11 (1981). https://doi.org/10.1007/BF02011630
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/BF02011630