A dichotomy for forcing notions (Q1128276): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q587961 |
||
Property / reviewed by | |||
Property / reviewed by: Judith Roitman / 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
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