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

From MaRDI portal
ReferenceBot (talk | contribs)
Changed an Item
Import241208061232 (talk | contribs)
Normalize DOI.
 
Property / DOI
 
Property / DOI: 10.1007/s00153-008-0075-5 / rank
Normal rank
 
Property / DOI
 
Property / DOI: 10.1007/S00153-008-0075-5 / rank
 
Normal rank

Latest revision as of 08:53, 10 December 2024

scientific article
Language Label Description Also known as
English
Some weak fragments of Martin's axiom related to the rectangle refining property
scientific article

    Statements

    Some weak fragments of Martin's axiom related to the rectangle refining property (English)
    0 references
    0 references
    20 August 2008
    0 references
    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).
    0 references
    0 references
    The rectangle refining property
    0 references
    Martin's axiom and its fragments
    0 references

    Identifiers