Proof.
Let us start by proving the first assertion. Suppose is a symmetrically proper forcing, let be least cardinal such that , and let be a predicate witnessing the symmetric properness of . Let also
be a -name for a symmetrically proper forcing, let be a -name for the least cardinal such that , let be a -name for a predicate of witnessing the symmetric properness of
, let be the least cardinal such that , and let us note that and . Let be such that , , and the set of , where , , and , are all definable in .
Let be a finite -symmetric system and let for some of minimal height within . We will find an extension of which is -symmetric and -generic for every .
Since is definable in and , we may fix an extension of in which is -symmetric and -generic for every .
Claim 2.3.
forces in that is a -symmetric system.
Proof.
Thanks to the choice of , is forced to be an elementary submodel of for each . Hence, it suffices to prove that forces for all , of the same height. But by essentially the same argument as in the proof of Lemma 1.11, using the fact that is -symmetric in , we can see that forces, for all and as above, that the function sending , for a -name , to is an isomorphism between and .
∎
By the claim, together with the fact that
is forced to be symmetrically proper as witnessed by , the fact that , and the fact that is of minimal height within , we may fix a -name such that forces to be a condition in
extending which is -symmetric and -generic for each . Then is a condition in extending which is -generic for each , and it is easy to see that it is also -symmetric. For this, suppose , , are such that , and is weaker than . We then have that also and that forces that , where the equality follows from the proof of Claim 2.3. In other words, . This finishes the proof of the first assertion.
As to the second assertion, it suffices to observe that if is a decomposition of witnessing its -linkedness, is a sequence of -names, and forces to be a decomposition of a forcing
witnessing its -linkedness, then letting , for , be the collection of conditions of the form , where and , we have that is a decomposition of witnessing its -linkedness.
∎
2.1. Proving Theorem 2.5
Let us assume and let be a regular cardinal. The forcing witnessing Theorem 2.5 will be obtained by a modification of the construction from the proof of Theorem 0.1, which we will also refer to as . In fact, we will recycle much of the notation from that proof. Also, most of the verifications of the relevant points will be the same as in the proof of Theorem 0.1, so we will only give details of those arguments which are new.
Let be the set of formulas in the language of set theory with free variables among , . There are four differences in the present construction with respect to the one from the proof of Theorem 0.1:
Given , and assuming has been defined, we define
by letting
if is not a pair of the form , where and where is a sequence of antichains of , all of them of size , and, in the other case, letting
be defined in exactly the same way as in the proof of Theorem 0.1, starting of course from .
The second difference is in the definition of . This is now a -name as follows:
-
•
If is of the form , where is a sequence of antichains of , all of them of size , such that , viewed as a nice -name for a subset of , canonically encodes a forcing notion on which forces to be -proper, then is a -name for this forcing notion.
-
•
If is of the form , with and a sequence of antichains of , all of them of size , then is the -least -name
in which is forced to have the following property:
-
–
Suppose , viewed as a nice -name for a subset of , is such that there is an -c.c. symmetrically proper partial order forcing . Then
is such a partial order.
-
–
In the other case,
is trivial forcing .
-
•
In the remaining case, is a -name for trivial forcing .
The third difference is that now clause in the definition of gets replaced with the following.
-
is a finite function with and such that for each , .
In the definition of the extension relation we now of course require that if , , , and , then and forces in that .
The last difference with respect to the construction from Theorem 0.1 is that now clause (4) in the original construction gets supplemented with the following symmetry clause.
-
(5)
For each , forces in that is -symmetric (in ) for
|
|
|
This completes the specification of the present forcing construction.
The proofs of the corresponding versions of Lemmas 1.6 and 1.7 are exactly the same as the proofs of the original lemmas, and the corresponding version of Lemma 1.8 is also almost the same. The only difference is that, in the situation of that proof, letting be the ordinals in , which we may assume is a nonempty sequence, we recursively build a decreasing sequence of conditions extending . At each step , is a condition in extending (if ) and such that is a name for some condition in forced to extend both and . The point is that, thanks to the fact that , and are forced by (if ) to belong to the same piece in some canonically fixed decomposition of witnessing the -linkedness of this poset—e.g., we can use the -least -name for such a decomposition.
The proof of the present version of Lemma 1.9—with the exact same statement—is immediate using condition (5) in our present definition.
The current version of Lemma 1.11 is then proved also in essentially the same way; the only difference is that now we use the present counterpart of Lemma 1.9.
The current version of Lemma 1.12 is also proved by induction on .
The proof of (and of ) is the same as in the original lemma when is , a successor ordinal, or an ordinal of countable cofinality. When , we pick , , and as in the old proof, and we fix as we did there. We then build a decreasing sequence as in that proof. In order to argue that can be taken to satisfy the counterpart of point (4) in that proof, we argue as in the first construction, using the current version of Lemma 1.11 together with the definition of symmetrically proper forcing.
The proof of the current version of Lemma 1.13 is essentially the same as in the original lemma.
The proof of the corresponding versions of Corollary 1.14 and Lemmas 1.15 and 1.17 is the same, using what we have already established, as for the original results.
We will need the following more general form of Lemma 1.13.
Lemma 2.7.
Let , , and let and be models with marker such that , and , is the identity on , and .
Then there is an extension of such that for all and all .
The proof of Lemma 2.7 is by induction on and very similar to that of the present version of Lemma 1.13.
The following -preservation lemma is proved using the present version of Lemma 1.9.
Lemma 2.8.
For every , forces .
Proof.
Let , for , be -names for subsets of and suppose, towards a contradiction, that forces for all . By the -c.c. of we may of course assume that these names are all in . For each let be a countable elementary submodel of containing everything relevant, which includes and . Let be a structure with universe coding , , and in some canonical way. By we may find such that and is the identity on .
By Lemma 2.7 we may extend to a condition such that , for al and . By the present form of Lemma 1.9 we have that for every and every extending , if and only if .
Finally, by the present version of Lemma 1.12, for every condition extending and every , if extends a condition deciding the truth value of the statement , then can be extended to a condition stronger than some deciding this statement (of course in the same way). Hence, by the previous paragraph and the fact that
|
|
|
is an isomorphism sending to , we get that . This is a contradiction since extends .
∎
The following is an immediate consequence of Lemma 2.8, together with the -c.c. of and our choice of book-keeping.
Corollary 2.9.
forces Local .
Lemma 2.10.
forces –-linked-Symm-.
Proof.
Let be -generic over , let , let be a formula, and suppose for every ground model of such that and it holds in that there is an -linked symmetrically proper forcing such that forces . By Corollary 2.9, it will be enough to show that there is some such that .
Let
be a nice -name for a subset of coding and let be a sequence of antichains of such that . Using the -c.c. of and the choice of , we may find such that . Let and let . Then and, by Lemma 2.9, . By our hypothesis there is in an -linked symmetrically proper forcing adding a witness to . It is easy to see that . Hence, in there is in fact an -linked symmetrically proper forcing adding a witness to . This concludes the proof since then some condition in will force to be such such a forcing, from which it will follow that as desired.
∎
Lemma 2.10 completes the proof of Theorem 2.5.
Proposition 2.12.
–-linked-Symm- implies .
On the other hand, it is unknown to us whether implies our principle –-linked-Symm-, or any reasonable variant of it. We suspect that it does not. In fact, –-linked-Symm- and natural variants thereof seem to be orthogonal to ordinary forcing axioms stronger than .
The following is another natural question.
Question 2.13.
One can naturally define the strengthening –-c.c.-Symm- of our principle –-linked-Symm-. Is this principle consistent?
2.2. Some applications of –-linked-Symm-
We will finish this section by showing that –-linked-Symm- implies a number of interesting combinatorial consequences of . We will focus on Baumgartner’s Axiom for -dense sets of reals, Todorčević’s Open Colouring Axiom for sets of size , the Abraham-Rubin-Shelah Open Colouring Axiom, Moore’s Measuring principle, Baumgartner’s Thinning-Out Principle, and Todorčević’s P-ideal Dichotomy for -generated ideals on . Hence, by Theorem 2.5, all these statements are simultaneously compatible with .
A set of reals is -dense if has cardinality for all reals , where denotes the open interval .
Baumgartner’s axiom for -dense sets of reals, , is the statement that all -dense sets of reals are order-isomorphic.
By a well-known theorem of Baumgartner ([7]), can be forced by a proper forcing. In fact, the following holds.
Lemma 2.14.
([7]) Assume holds and suppose and are -dense sets of reals. Then there is a c.c.c. partial order of cardinality adding an order-isomorphism .
We will also mention that [1] proves the consistency of with .
Given a set , , the identity on , is . A colouring of a set of reals is a partition of such that for all distinct , , if and only if . We say that is open if is an open subset of with the product topology.
Given a colouring of and , we say that is -homogeneous if for all distinct , .
Todorčević’s Open Colouring Axiom ([29]), which we will denote by , is the statement that if is an open colouring of a set of reals, then one of the following holds:
-
(1)
There is an uncountable -homogeneous subset of .
-
(2)
There is a sequence such that and each is -homogeneous.
follows from ([29]). In fact we have the following.
Lemma 2.15.
([30])
Let be a set of reals and suppose is an open colouring of . Suppose is not a union of -many -homogeneous sets. Then there is of size such that the poset of finite -homogeneous subsets of , ordered by reverse inclusion, has the -chain condition.
will denote the restriction of to colourings of sets of cardinality . is a useful fragment of ; for example, it is easy to see that implies that every uncountable subset of contains an uncountable chain or an uncountable antichain under inclusion (s. [30]). Farah proved that is consistent together with large.
The Abraham-Rubin-Shelah Open Colouring Axiom, introduced in [1], which we will denote by , is the statement that if is a second countable Hausdorff topological space of size and is an open colouring of , then there exists a partition of such that each is homogeneous. In [1], it is shown that implies the failure of and is consistent with . The question whether is consistent with
large values of the continuum was asked in that paper.
Given a space as above, an open partition of , and a function , let
be the following forcing notion. A condition is in if and only if
-
(1)
is a finite partial function from into ,
-
(2)
for all is constant, say with value , and
-
(3)
is -homogeneous.
The ordering is the natural one: iff
-
(1)
,
-
(2)
for all .
It is clear that any forcing of the form adds a partition of into homogeneous pieces for .
Lemma 2.16.
([1]) Assume . Suppose is a second countable Hausdorff topological space of size and is an open colouring of . Then, for some function , the forcing is c.c.c.
We note that the consistency of with was recently proved by Gilton-Neeman in [15], but the consistency of this statement with remained open. It follows by our results, together with Lemma 2.16, that is compatible with arbitrarily large continuum, which answers the Gilton-Neeman question.
In [21], Moore proves that the conjunction of Todorčević’s and implies . It follows that in our model for Theorem 2.5 for , fails and hence there is an open colouring of a set of reals with the following incompactness property: there is no uncountable -homogeneous subset of , every is a union of countably many -homogeneous sets, but itself is not.
Measuring, defined by Moore (s. [12]), is the statement that for every club-sequence there is a club with the property that for every there is some such that either
-
•
, or
-
•
.
In the above situation, we say that measures .
Measuring follows from and can be regarded as a strong failure of Club Guessing at ; in fact it is easy to see that it implies .
Given a club-sequence , there is a natural proper forcing for adding a club of measuring (s. [12]). Conditions in are pairs such that:
-
(1)
is a closed countable subset of ;
-
(2)
for every there is some such that either
-
•
, or
-
•
.
-
(3)
is a club of .
Given -conditions , , we let iff
-
(1)
is an end-extension of (i.e., and ),
-
(2)
, and
-
(3)
.
Lemma 2.17.
is a symmetrically proper Příkrý-type forcing notion with stems in .
Proof.
The fact that is a Příkrý-type forcing notion with stems in is clear from the definition, and it is obvious that . The properness of is a standard fact (s. e.g. [12]). We will now show, by a variation of the proof in [12], that is actually symmetrically proper.
For this, suppose is a finite symmetric system of countable elementary submodels of and let be a condition in for some of minimal height within . We will find a condition which is -symmetric and -generic for all . For this, let , for some , be a -maximal -chain of members of . Let also . We build a -decreasing sequence of , for , letting and making sure that is -generic.
In order to find we build, working in , a -generic sequence of conditions extending and belonging to ; i.e., extends for all and for every maximal antichain of there is some with extending some condition in . Further, if there is a club of such that , then we pick so that for some such ; and if, on the other hand, for every club of , then we make sure that (this is a standard -type construction; s. [12]). In either case we let
|
|
|
where denotes the club filter on , and note that for each .
Let , and let us note that for each , and that in fact for all , and all with . Given any , we check that is -generic. For this, let and be a maximal antichain of and let us check that is compatible with a condition in . Let be such that and let . Then there is some such that extends some condition . But then extends , which in turn extends .
Finally, we show that is -symmetric. For this, let again be an extension of , let , be such that , let be such that , and let us check that . Since of course , in order to see that it suffices to show that . Let be such that . Since and , we have that . Also, for every such that , if is such that and , then by the construction of , but of course . And finally, again by the construction of .
∎
The Thinning-Out Principle () is the following statement, defined by Baumgartner in [8]: Suppose , , and is such that for each . Suppose for every uncountable there is some such that
|
|
|
has the finite intersection property. Then there is an uncountable such that is finite for every .
The conjunction has several interesting consequences; for example, it implies the non-existence of S-spaces, the partition relation for each , and that if is a directed set of size and every uncountable subset of contains a countable unbounded set, then there is an uncountable subset of such that every infinite subset of is unbounded (s. [8]).
Lemma 2.18.
Suppose and are as in the statement of . Then there is a forcing notion adding as in the conclusion of for and and such that is of the form , where
-
(1)
is , i.e., the standard forcing for adding -many Cohen reals,
-
(2)
is an -name for the standard forcing for adding a club diagonalizing the club filter on in , and
-
(3)
is a -name for a c.c.c. forcing of size .
In particular, if holds, then is an -linked symmetrically proper forcing notion included in .
Proof.
The first assertion of the lemma is proved in [8]. As to the second assertion, we first observe that the standard forcing for adding a club diagonalizing the club filter on is a symmetrically proper Příkrý-type forcing notions with stems in —and therefore it is -linked if holds. is the partial order of pairs , where
-
•
is a closed countable subset of and
-
•
is a club of ,
and where extends if
-
•
is an end-extension of ,
-
•
, and
-
•
.
This is trivially a Příkrý-type forcing notion with stems in , and the fact that it is symmetrically proper is established by a (simpler) version of the proof of Lemma 2.17. But now, if holds, then we have that , being an iteration of three -linked symmetrically proper forcings, has itself this property by Proposition 2.2. Finally, it is clear that two-step iterations of -sized forcings with the -c.c. are themselves -sized—where we are taking all our names for subsets of to be nice names—and hence if holds.
∎
The last combinatorial principle we will consider in this subsection concerns ideals on some set consisting of countable sets and containing all finite subsets of . Such an ideal is said to be a P-ideal in case for every sequence of members of there is some such that is finite for each .
Todorčević’s P-ideal Dichotomy is the statement that for every set and every P-ideal on , either
-
(1)
there is an uncountable such that , or
-
(2)
for some sequence such that is finite for every and every .
Given an ideal , is a generating set of if . Also, we say that generates . An ideal on is said to be -generated if there is , a generating set of , such that .
Given sets , , means that is finite. An -tower is a sequence of countable subsets of such that for all .
It is clear that every -generated -ideal is in fact generated by an -tower.
Lemma 2.19.
Suppose holds, is a -ideal, and is an -tower generating . Suppose cannot be decomposed into countably many sets such that is finite for each . Let be the poset consisting of pairs such that
-
•
and
-
•
for some ,
where if and only if
-
•
is an end-extension of (i.e., and ),
-
•
, and
-
•
for every , is uncountable and belongs to .
-
(1)
,
-
(2)
forces the existence of some such that ,
-
(3)
is symmetrically proper, and
-
(4)
is a Příkrý-type forcing with stems in .
Proof.
(1) is obvious.
(2) and the properness of are proved in [2]—albeit with the (complementary) presentation of the forcing given by rather than . (3) is immediate by the presentation of . Finally, the symmetric properness of follows by a construction very similar to the one in the proof of Lemma 2.17.
∎
Corollary 2.20.
The following statements follow from –-linked-Symm-.
-
(1)
,
-
(2)
,
-
(3)
,
-
(4)
-
(5)
,
-
(6)
The P-ideal Dichotomy for -generated ideals on .