Abstract
We give a proof ofTheorem 1. Let κ be the smallest cardinal such that the free subset property Fr ω (κ,ω 1)holds. Assume κ is singular. Then there is an inner model with ω1 measurable cardinals.
Similar content being viewed by others
References
Devlin, K.: Some weak versions of large cardinal axioms. Ann. Math. Logic5, 291–325 (1973)
Devlin, K., Paris, J.: More on the free subset problem. Ann. Math. Logic5, 327–336 (1973)
Dodd, A.J.: The core model. (Lond. Math. Soc. Lect. Note Ser. 61) Cambridge, 1982
Koepke, P.: The consistency strength of the free-subset property forω ω . J. Symb. Logic49, 1198–1203 (1984)
Koepke, P.: A theory of short core models and some applications. Doctoral Dissertation, Freiburg (1983)
Koepke, P.: Some applications of short core models. Ann. Pure Appl. Logic37, 179–204 (1988)
Shelah, S.: Independence of strong partition relation for small cardinals, and the free subset property. J. Symb. Logic45, 505–509 (1980)
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Koepke, P. On the free subset property at singular cardinals. Arch Math Logic 28, 43–55 (1989). https://doi.org/10.1007/BF01624082
Received:
Issue Date:
DOI: https://doi.org/10.1007/BF01624082