If $\kappa$ is regular, is $\prod^{\text{fin}}_{\alpha<\kappa}\operatorname{Fn}(\omega,\alpha)$ $\kappa$-cc?

177 Views Asked by At

Given an ordinal $\alpha$ let $\operatorname{Fn}(\omega, \alpha)$ be the set finite partial functions from $\omega$ to $\alpha$. Given a cardinal $\kappa$ let $${\prod_{\alpha<\kappa}}^{\text{fin}}\operatorname{Fn}(\omega,\alpha) = \{\vec{p}\in {\textstyle \prod_{\alpha<\kappa}}Fn(\omega,\alpha): |\{\alpha<\kappa: p_\alpha \not = \emptyset\}|<\omega\}.$$

We can then turn this into a partial order by letting $\vec{p}\leq \vec{q}$ when $p_\alpha \supseteq q_\alpha$ for all $\alpha<\kappa$. Let $\mathbb{P}$ denote this partial order.

Exercise III.3.96 (p.195) of Kunen's Set Theory (2011 edition) claims that if $\kappa$ is weakly inaccessible, then $\mathbb{P}$ is $\kappa$-cc.

Question: Is weak inaccessibility necessary? More precisely, can we prove that if $\kappa$ is regular, then $\mathbb{P}$ is $\kappa$-cc?

I have something like the following proof in mind. Suppose $X\subseteq \mathbb{P}$ has size $\kappa$, and let $Y = \{y: \exists \vec{p}\in X(y = \{\alpha<\kappa: p_\alpha \not = \emptyset\})\}$. Then $Y$ is a set of finite sets and has size $\kappa$, and thus by the $\Delta$-system lemma there is some $Y'\subseteq Y$ also of size $\kappa$ with a finite kernal $r$. Let $X'$ be the corresponding subset of $X$. Then since there are $\kappa$-many elements of $X'$, $\kappa$-many of them will agree on $r$. Thus there will be $\kappa$-many which are compatible in $\mathbb{P}$.

1

There are 1 best solutions below

2
On

It is known that finite support iteration of $\kappa$-c.c. forcings is $\kappa$-c.c.

Fix any cardinal $\kappa$. For any $\gamma < \kappa$, $Fn(\omega, \gamma)$ has the $\kappa$-c.c.

Since $Fn(\omega, \gamma)$ consists of finite partial functions, $Fn(\omega, \gamma)$ is the same set in all forcing extensions.

Therefore the finite support product (as you have above) is the same as the finite support iteration.

So $\prod_{\gamma < \kappa}^\text{fin} Fn(\omega, \gamma)$ satisfies the $\kappa$-c.c.


For a proof without use of iterated forcing:

The following is in Jech's "Set Theory" Theorem 15.17 (ii):

Let $P_i$ be forcings of size less than $\delta$, then the finite support product of $P_i$ satisfies the $\delta^+$-c.c.

Now suppose $\kappa$ is regular but not weakly inaccessible. Then $\kappa$ is sucessor cardinal. $\kappa = \delta^+$.

Then for each $\gamma < \kappa$, $|Fn(\omega, \gamma)| \leq \delta$. So by the result above, the finite support product has the $\delta^+$-c.c.