Strong analogues of Martin's axiom Imply Axiom R

Publisher: Cambridge University Press

E-ISSN: 1943-5886|52|1|216-218

ISSN: 0022-4812

Source: The Journal of Symbolic Logic, Vol.52, Iss.1, 1987-03, pp. : 216-218

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

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.