Some weak fragments of Martin's axiom related to the rectangle refining property (Q937215): Difference between revisions

A forcing notion \(\mathbb P\) is said to have the anti-rectangle refining property if it is uncountable, and given \(I,J \in [\mathbb P]^{\aleph_1}\), there are \(I'\in [I]^{\aleph_1}\) and \(J'\in [J]^{\aleph_1}\) such that \(p\) and \(q\) are incompatible in \(\mathbb P\) for all \(p\in I'\) and \(q\in J'\). It is shown that, as a forcing notion, an Aronszajn tree has the anti-rectangle refining property, and so has a forcing notion freezing an \((\omega_1, \omega_1)\)-gap. Moreover, it is shown to be consistent that MA\(_{\aleph_{1}}({\mathcal P})\) holds but there exists and entangled set of reals (and hence MA\(_{\aleph_{1}}\) fails), where \({\mathcal P} = \{ a(\mathbb P) : \mathbb P\) has the anti-rectangle refining property\(\}\) (\(a (\mathbb P)\) is the set of all finite antichains in \(\mathbb P\), ordered by reverse inclusion).