The Hanf number of 𝐿_{𝜔₁𝜔₁}

Väänänen, Jouko

doi:10.1090/S0002-9939-1980-0565357-7

The Hanf number of $L_{\omega _{1}\omega _{1}}$
HTML articles powered by AMS MathViewer

by Jouko Väänänen PDF

Proc. Amer. Math. Soc. 79 (1980), 294-297 Request permission

Abstract:

A model of set theory is constructed in which the Hanf number of ${L_{{\omega _1}{\omega _1}}}$ is below the first weakly compact cardinal. This answers a question of J. Silver.

References

M. A. Dickmann, Large infinitary languages, Studies in Logic and the Foundations of Mathematics, Vol. 83, North-Holland Publishing Co., Amsterdam-Oxford; American Elsevier Publishing Co., Inc., New York, 1975. Model theory. MR 0539973
Harvey Friedman, One hundred and two problems in mathematical logic, J. Symbolic Logic 40 (1975), 113–129. MR 369018, DOI 10.2307/2271891
Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523
A. Kanamori and M. Magidor, The evolution of large cardinal axioms in set theory, Higher set theory (Proc. Conf., Math. Forschungsinst., Oberwolfach, 1977) Lecture Notes in Math., vol. 669, Springer, Berlin, 1978, pp. 99–275. MR 520190
Kenneth Kunen, Some applications of iterated ultrapowers in set theory, Ann. Math. Logic 1 (1970), 179–227. MR 277346, DOI 10.1016/0003-4843(70)90013-6
Kenneth Kunen, Saturated ideals, J. Symbolic Logic 43 (1978), no. 1, 65–76. MR 495118, DOI 10.2307/2271949
Menachem Magidor, How large is the first strongly compact cardinal? or A study on identity crises, Ann. Math. Logic 10 (1976), no. 1, 33–57. MR 429566, DOI 10.1016/0003-4843(76)90024-3
Telis K. Menas, Consistency results concerning supercompactness, Trans. Amer. Math. Soc. 223 (1976), 61–91. MR 540771, DOI 10.1090/S0002-9947-1976-0540771-8
Jack H. Silver, Some applications of model theory in set theory, Ann. Math. Logic 3 (1971), no. 1, 45–110. MR 409188, DOI 10.1016/0003-4843(71)90010-6