Asaf Karagila
I don't have much choice...

Strong chain conditions and preservation of choice principles

There are 2 comments on this post.

I recently returned from a wonderful week in Italy, where I attended the Young Set Theorist 2013 conference. I met a lot of new people, some old acquaintances, baffled people with oversized pickles, and most importantly shared and learned some great ideas.

One of the nicer things I'd done was to work with Thomas Johnstone on some preservation theorem related to forcing and choice principles (see also this announcement by Victoria Gitman). In order to clean up a bit the proof, I'll introduce a new definition which is going to slightly extend the ideas originally discussed in Italy. So without further jibber jabber, let's talk mathematics.

Canonical names. Given a forcing PV, and a {a˙iiI}V, we define the canonical name {a˙iiI}={1P,a˙iiI}. For pairs x˙,y˙ we define x˙,y˙ to be some canonical encoding of the ordered pair, e.g. {{x˙},{x˙,y˙}}, and similarly for longer tuples.

This notation makes it slightly simpler to talk about names which are generated by collecting some names in the ground model. Next we discuss antichains. Recall that in the lack of choice it is consistent that there is a forcing extension which does not have maximal antichains, or that not all antichains can be extended to maximal antichains. It could also be the case that no antichain is well-ordered. In those cases it is possible to have the usual κ.c.c property hold, but in a very formal and useless manner. Sure all antichains are small, but it doesn't help us very much. We therefore introduce the following property.

Definition. We say that a notion of forcing P has the strong κ.c.c property, if every non-empty AP has an A-maximal antichain of cardinality κ.

In particular every strong κ.c.c poset has only well-ordered antichains, and has κ.c.c, this is because given an antichain C it must equal to the antichain given from the strong κ.c.c-ness. Of course, every well-ordered poset has κ.c.c if and only if it has strong κ.c.c, so under AC it is trivial that the notions of κ.c.c and strong κ.c.c are equivalent. But as remarked above without choice the situation may be grim.

Theorem. Let V be a model of ZF+ACκ. If PV is a notion of forcing which has strong κ.c.c, and GP is V-generic, then V[G]ACκ.

Proof. Let pP a condition such that pF˙ is a function from κ and F˙(αˇ)ˇ for all α. Then for every α consider Dα to be the set {qpx˙ s.t. qF˙(αˇ)=x˙}, then this set is non-empty, and therefore contains a maximal antichain Cα of cardinality at most κ. It is not hard to see that Cα is maximal antichain below p. For every qCα let consider the collection of names x˙ such that qx˙=F˙(αˇ), and x˙ has a minimal rank with respect to this property. Then by ACκ we can choose x˙q for every qCα, and consider A˙α=qCαx˙q. We have, if so, that pF˙(αˇ)=A˙α, for every α<κ.

Since we have that pτ(τA˙α) for every α, we can repeat the above process and end up with names a˙α such that pa˙αA˙α. Now it is easy to see that p{αˇ,a˙αα<κ}A˙α as wanted.

This was an observation made by both myself and Thomas in the case where P is well-orderable, but it seems that strong κ.c.c is a more general notion, and seems to me as the "correct one". The next time I'll post a proof that Thomas showed me:

Theorem. (Johnstone) Let V be a model of ZF+DCκ. If PV is a κ-strategically closed forcing and GP is V-generic, then V[G]DCκ.

There are 2 comments on this post.

By Victoria Gitman
(Jun 28 2013, 20:59)

Hi Asaf, Question: Is it known that there are posets that have the strong κ-cc but are not well-orderable? I believe that the result about preserving ACκ extends to preserving DCκ because we use the well-orderability of the poset for mixing, which I guess we can also do with strong κ-cc. Also, I don't think we have the preservation of DCκ for κ-Baire posets, but only for κ-strategically closed posets. We actually don't know whether κ-Baire suffices. Do you think it does? I sent Tom the link to your post.

Hi Victoria,

I have to admit that I have nothing of the top of my head, but I also feel that there is no reason for strong κ.c.c to imply well-orderability. I am certain that one could concoct something up using all sort of strange pathologies. I'll think about it some more, I'm sure that if I get my brain to overdrive I'll be able to find such example.

As for the second issue, I think that you're right. He did show me the proof for strategically closed forcings, which explains why I had such a difficult time to finish the proof for the Baire case. I feel suddenly very confused about my memory (and unfortunately all I had was the drafts we worked on, which mostly included the Baire case, rather than the strategically closed case). I'll correct this in this post, and perhaps for the next post I'll actually show more than that! (And thank you for sending the link to Tom.)

Want to comment? Send me an email!