A dichotomy for forcing notions (Q1128276): Difference between revisions

From MaRDI portal
Added link to MaRDI item.
RedirectionBot (talk | contribs)
Removed claim: reviewed by (P1447): Item:Q587961
Property / reviewed by
 
Property / reviewed by: Judith Roitman / rank
Normal rank
 

Revision as of 11:24, 16 February 2024

scientific article
Language Label Description Also known as
English
A dichotomy for forcing notions
scientific article

    Statements

    A dichotomy for forcing notions (English)
    0 references
    0 references
    11 January 1999
    0 references
    In an earlier paper, the author and Shelah showed that under PFA adding \(\omega_1\) Cohen reals is universal in the following sense: every separative partial order of size \(\omega_1\) that does not add \(\omega_1\) Cohen reals is small, in the sense that below some condition it is exactly the partial order adding one Cohen real. Let \(B\) be the partial order due to Baumgartner adding a closed unbounded subset of \(\omega_1\) by finite conditions, with \({\mathbb B}\) its completion. This paper shows that, under PFA, \(B\) is universal in the following sense: If the completion of \(B\) does not embed completely in the completion of a separative partial order \(P\) of size \(\omega_1\), then \(P\) is small, in the sense that below some condition \(P\) is ccc. The proof of the theorem in this paper uses the earlier theorem quite heavily, by noting that the partial order adding \(\omega_1\) many Cohen reals is isomorphic to the product of \(\omega_1\) many forcings adding a single Cohen real, and then coding these countable forcings as approximations to the Baumgartner order. In neither theorem is the full strength of PFA used; the consistency of the existence of large cardinals is not necessary.
    0 references
    PFA
    0 references
    separative partial order
    0 references
    Cohen reals
    0 references
    Baumgartner order
    0 references
    proper forcing axiom
    0 references

    Identifiers