In a recent article of Teruyuki Yorioka it is stated that it is open whether Q implies $\text{MA}_{\aleph_1}$. The reference is [A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees[A non-implication between fragments of Martin’s Axiom related to a property which comes from Aronszajn trees, Annals of Pure and Applied Logic. 161(4), p. 469-487]. I don't think the other implications are known either.
added doi link to the paper (the question has been bumped anyway; according to the journal's website this paper is "open archive" - so no paywall)
Martin Sleziak
- 4.7k
- 4
- 35
- 40