Strong analogues of Martin's axiom imply axiom R

Journal of Symbolic Logic 52 (1):216-218 (1987)
  Copy   BIBTEX

Abstract

We show that either PFA + or Martin's maximum implies Fleissner's Axiom R, a reflection principle for stationary subsets of P ℵ 1 (λ). In fact, the "plus version" (for one term denoting a stationary set) of Martin's axiom for countably closed partial orders implies Axiom R

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,219

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Bounded forcing axioms and the continuum.David Asperó & Joan Bagaria - 2001 - Annals of Pure and Applied Logic 109 (3):179-203.
The grounded Martin's axiom.Miha E. Habič - 2017 - Mathematical Logic Quarterly 63 (5):437-453.
Semiproper forcing axiom implies Martin maximum but not PFA+.Saharon Shelah - 1987 - Journal of Symbolic Logic 52 (2):360-367.
Fragments of Martin's axiom and δ13 sets of reals.Joan Bagaria - 1994 - Annals of Pure and Applied Logic 69 (1):1-25.
Martin’s Maximum and definability in H.Paul B. Larson - 2008 - Annals of Pure and Applied Logic 156 (1):110-122.
The isomorphism property versus the special model axiom.Renling Jin - 1992 - Journal of Symbolic Logic 57 (3):975-987.
A characterization of Martin's axiom in terms of absoluteness.Joan Bagaria - 1997 - Journal of Symbolic Logic 62 (2):366-372.

Analytics

Added to PP
2009-01-28

Downloads
68 (#311,248)

6 months
14 (#234,785)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references