- 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
The Proper Forcing Axiom and the Singular Cardinal Hypothesis
Journal of Symbolic Logic 71 (2):473 - 479 (2006)
Abstract
We show that the Proper Forcing Axiom implies the Singular Cardinal Hypothesis. The proof uses the reflection principle MRP introduced by Moore in [11]Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
Proper forcing, cardinal arithmetic, and uncountable linear orders.Justin Tatch Moore - 2005 - Bulletin of Symbolic Logic 11 (1):51-60.
The bounded proper forcing axiom.Martin Goldstern & Saharon Shelah - 1995 - Journal of Symbolic Logic 60 (1):58-73.
PFA and Ideals on $\omega_{2}$ Whose Associated Forcings Are Proper.Sean Cox - 2012 - Notre Dame Journal of Formal Logic 53 (3):397-412.
On the equivalence of certain consequences of the proper forcing axiom.Peter Nyikos & Leszek Piątkiewicz - 1995 - Journal of Symbolic Logic 60 (2):431-443.
Forcing axioms, supercompact cardinals, singular cardinal combinatorics.Matteo Viale - 2008 - Bulletin of Symbolic Logic 14 (1):99-113.
Souslin forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
Small forcing makes any cardinal superdestructible.Joel Hamkins - 1998 - Journal of Symbolic Logic 63 (1):51-58.
Analytics
Added to PP
2010-08-24
Downloads
105 (#476,680)
6 months
23 (#437,920)
2010-08-24
Downloads
105 (#476,680)
6 months
23 (#437,920)
Historical graph of downloads
Citations of this work
Aronszajn trees and failure of the singular cardinal hypothesis.Itay Neeman - 2009 - Journal of Mathematical Logic 9 (1):139-157.
Aronszajn trees, square principles, and stationary reflection.Chris Lambie-Hanson - 2017 - Mathematical Logic Quarterly 63 (3-4):265-281.
Squares and covering matrices.Chris Lambie-Hanson - 2014 - Annals of Pure and Applied Logic 165 (2):673-694.
Forcing the Mapping Reflection Principle by finite approximations.Tadatoshi Miyamoto & Teruyuki Yorioka - 2021 - Archive for Mathematical Logic 60 (6):737-748.
References found in this work
Fragments of Martin's Maximum in generic extensions.Yasuo Yoshinobu & Bernhard König - 2004 - Mathematical Logic Quarterly 50 (3):297.
Blowing up power of a singular cardinal—wider gaps.Moti Gitik - 2002 - Annals of Pure and Applied Logic 116 (1-3):1-38.
The proper forcing axiom, Prikry forcing, and the singular cardinals hypothesis.Justin Tatch Moore - 2006 - Annals of Pure and Applied Logic 140 (1):128-132.
Try MATCHA Writer if you're interested in citing directly from PhilPapers and certifying your authorship.
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