- 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
Semiproper forcing axiom implies Martin maximum but not PFA+
Journal of Symbolic Logic 52 (2):360-367 (1987)
Abstract
We prove that MM (Martin maximum) is equivalent (in ZFC) to the older axiom SPFA (semiproper forcing axiom). We also prove that SPFA does not imply SPFA + or even PFA + (using the consistency of a large cardinal)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
Hierarchies of forcing axioms I.Itay Neeman & Ernest Schimmerling - 2008 - Journal of Symbolic Logic 73 (1):343-362.
Removing Laver functions from supercompactness arguments.Arthur W. Apter - 2005 - Mathematical Logic Quarterly 51 (2):154.
A forcing axiom for a non-special Aronszajn tree.John Krueger - 2020 - Annals of Pure and Applied Logic 171 (8):102820.
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.
Bounded Martin's Maximum, Weak [image] Cardinals, and [image].David Asperó & Philip D. Welch - 2002 - Journal of Symbolic Logic 67 (3):1141 - 1152.
Strong analogues of Martin's axiom imply axiom R.Robert E. Beaudoin - 1987 - Journal of Symbolic Logic 52 (1):216-218.
The Bounded Axiom A Forcing Axiom.Thilo Weinert - 2010 - Mathematical Logic Quarterly 56 (6):659-665.
Martin’s Maximum and definability in H.Paul B. Larson - 2008 - Annals of Pure and Applied Logic 156 (1):110-122.
Souslin forcing.Jaime I. Ihoda & Saharon Shelah - 1988 - Journal of Symbolic Logic 53 (4):1188-1207.
Analytics
Added to PP
2009-01-28
Downloads
175 (#135,960)
6 months
19 (#151,833)
2009-01-28
Downloads
175 (#135,960)
6 months
19 (#151,833)
Historical graph of downloads
Citations of this work
Resurrection axioms and uplifting cardinals.Joel David Hamkins & Thomas A. Johnstone - 2014 - Archive for Mathematical Logic 53 (3-4):463-485.
Fragments of Martin's Maximum in generic extensions.Y. Yoshinobu & B. Konig - 2004 - Mathematical Logic Quarterly 50 (3):297.
Incompatible bounded category forcing axioms.David Asperó & Matteo Viale - 2022 - Journal of Mathematical Logic 22 (2).
Hierarchies of forcing axioms I.Itay Neeman & Ernest Schimmerling - 2008 - Journal of Symbolic Logic 73 (1):343-362.
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-667477cd97-2pm92 dc2