- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Forcing the Least Measurable to Violate GCH
Mathematical Logic Quarterly 45 (4):551-560 (1999)
Abstract
Starting with a model for “GCH + k is k+ supercompact”, we force and construct a model for “k is the least measurable cardinal + 2k = K+”. This model has the property that forcing over it with Add preserves the fact k is the least measurable cardinalMy notes
Similar books and articles
Indestructibility, instances of strong compactness, and level by level inequivalence.Arthur W. Apter - 2010 - Archive for Mathematical Logic 49 (7-8):725-741.
Inner models with large cardinal features usually obtained by forcing.Arthur W. Apter, Victoria Gitman & Joel David Hamkins - 2012 - Archive for Mathematical Logic 51 (3-4):257-283.
The number of normal measures.Sy-David Friedman & Menachem Magidor - 2009 - Journal of Symbolic Logic 74 (3):1069-1080.
More on the Least Strongly Compact Cardinal.Arthur W. Apter - 1997 - Mathematical Logic Quarterly 43 (3):427-430.
Indestructibility and measurable cardinals with few and many measures.Arthur W. Apter - 2008 - Archive for Mathematical Logic 47 (2):101-110.
A Cardinal Pattern Inspired by AD.Arthur W. Apter - 1996 - Mathematical Logic Quarterly 42 (1):211-218.
Accessing the switchboard via set forcing.Shoshana Friedman - 2012 - Mathematical Logic Quarterly 58 (4-5):303-306.
Some structural results concerning supercompact cardinals.Arthur W. Apter - 2001 - Journal of Symbolic Logic 66 (4):1919-1927.
Identity crises and strong compactness.Arthur W. Apter & James Cummings - 2000 - Journal of Symbolic Logic 65 (4):1895-1910.
Level by level inequivalence beyond measurability.Arthur W. Apter - 2011 - Archive for Mathematical Logic 50 (7-8):707-712.
The least measurable can be strongly compact and indestructible.Arthur W. Apter & Moti Gitik - 1998 - Journal of Symbolic Logic 63 (4):1404-1412.
Small forcing makes any cardinal superdestructible.Joel David Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
Analytics
Added to PP
2013-12-01
Downloads
19 (#778,470)
6 months
4 (#790,687)
2013-12-01
Downloads
19 (#778,470)
6 months
4 (#790,687)
Historical graph of downloads
Citations of this work
Blowing up the power set of the least measurable.Arthur W. Apter & James Cummings - 2002 - Journal of Symbolic Logic 67 (3):915-923.
References found in this work
How large is the first strongly compact cardinal? or a study on identity crises.Menachem Magidor - 1976 - Annals of Mathematical Logic 10 (1):33-57.
The negation of the singular cardinal hypothesis from o(K)=K++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.
The negation of the singular cardinal hypothesis from< i> o(< i> K_)=< i> K< sup>++.Moti Gitik - 1989 - Annals of Pure and Applied Logic 43 (3):209-234.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo