Hostname: page-component-6bf8c574d5-j5c6p Total loading time: 0 Render date: 2025-03-08T14:16:43.684Z Has data issue: false hasContentIssue false
  • English
  • Français

Strong analogues of Martin's axiom Imply Axiom R

Published online by Cambridge University Press:  12 March 2014

Robert E. Beaudoin
Get access Rights & Permissions [Opens in a new window]

Abstract

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

Type
Research Article
Information
The Journal of Symbolic Logic , Volume 52 , Issue 1 , March 1987 , pp. 216 - 218
Copyright
Copyright © Association for Symbolic Logic 1987

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

REFERENCES

[B] Baumgartner, J., Applications of the proper forcing axiom, Handbook of set-theoretic topology (Kunen, K. and Vaughan, J., editors), North-Holland, Amsterdam, 1984, pp. 913–959.CrossRefGoogle Scholar
[F] Fleissner, W., Left-separated spaces with point-countable bases (to appear).Google Scholar
[FMS] Foreman, M., Magidor, M. and Shelah, S., Martin's maximum, saturated ideals, and nonregular ultrafilters. Part I (to appear).Google Scholar
[S1] Shelah, S., Proper forcing, Lecture Notes in Mathematics, vol. 940, Springer-Verlag, New York, 1982.CrossRefGoogle Scholar
[S2] Shelah, S., Semiproper forcing axiom implies Martin maximum but not PFA+ , this Journal, vol. 52 (1987) (to appear).Google Scholar