Regular cardinals in models of $\textrm {ZF}$
HTML articles powered by AMS MathViewer
- by Moti Gitik PDF
- Trans. Amer. Math. Soc. 290 (1985), 41-68 Request permission
Abstract:
We prove the following Theorem. Suppose $M$ is a countable model of $ZFC$ and $\kappa$ is an almost huge cardinal in $M$. Let $A$ be a subset of $\kappa$ consisting of nonlimit ordinals. Then there is a model ${N_A}$ of $ZF$ such that ${\aleph _\alpha }$ is a regular cardinal in ${N_A}$ iff $\alpha \in A$ for every $\alpha > 0$.References
- A. J. Dodd, The core model, London Mathematical Society Lecture Note Series, vol. 61, Cambridge University Press, Cambridge-New York, 1982. MR 652253
- William B. Easton, Powers of regular cardinals, Ann. Math. Logic 1 (1970), 139β178. MR 269497, DOI 10.1016/0003-4843(70)90012-4 S. Feferman and A. Levy, Independence results in set theory by Cohenβs method. II, Notices Amer. Math. Soc. 10 (1963), 593. M. Foreman and H. Woodin, The G.C.H. can fail everywhere (to appear).
- M. Gitik, All uncountable cardinals can be singular, Israel J. Math. 35 (1980), no.Β 1-2, 61β88. MR 576462, DOI 10.1007/BF02760939 β, Nonsplitting subset ${\mathcal {P}_\kappa }({K^ + })$, J. Symbolic Logic (to appear).
- Thomas Jech, Set theory, Pure and Applied Mathematics, Academic Press [Harcourt Brace Jovanovich, Publishers], New York-London, 1978. MR 506523 β, The axiom of choice, North-Holland, Amsterdam, 1973.
- 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
- Menachem Magidor, On the singular cardinals problem. I, Israel J. Math. 28 (1977), no.Β 1-2, 1β31. MR 491183, DOI 10.1007/BF02759779
- William Mitchell, Hypermeasurable cardinals, Logic Colloquium β78 (Mons, 1978) Studies in Logic and the Foundations of Mathematics, vol. 97, North-Holland, Amsterdam-New York, 1979, pp.Β 303β316. MR 567676
- William Mitchell, How weak is a closed unbounded ultrafilter?, Logic Colloquium β80 (Prague, 1980) Studies in Logic and the Foundations of Mathematics, vol. 108, North-Holland, Amsterdam-New York, 1982, pp.Β 209β230. MR 673794
- K. L. Prikry, Changing measurable into accessible cardinals, Dissertationes Math. (Rozprawy Mat.) 68 (1970), 55. MR 262075
- Lon Berk Radin, Adding closed cofinal sequences to large cardinals, Ann. Math. Logic 22 (1982), no.Β 3, 243β261. MR 670992, DOI 10.1016/0003-4843(82)90023-7
- Robert M. Solovay, William N. Reinhardt, and Akihiro Kanamori, Strong axioms of infinity and elementary embeddings, Ann. Math. Logic 13 (1978), no.Β 1, 73β116. MR 482431, DOI 10.1016/0003-4843(78)90031-1
- Ernst Specker, Zur Axiomatik der Mengenlehre (Fundierungs- und Auswahlaxiom), Z. Math. Logik Grundlagen Math. 3 (1957), 173β210 (German). MR 99297, DOI 10.1002/malq.19570031302 H. Woodin, The Prikry property for the Radin forcing, manuscript.
Additional Information
- © Copyright 1985 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 290 (1985), 41-68
- MSC: Primary 03E35; Secondary 03C62, 03E10
- DOI: https://doi.org/10.1090/S0002-9947-1985-0787954-5
- MathSciNet review: 787954