= Maximal-antichain sizes in the finite Lévy collapse
{title2=$0<|A|<\kappa$}
For a regular uncountable $\kappa$, the finite-condition collapse has the $\kappa$ <chain in a partial order> condition, by a regular-cardinal <Delta-system lemma> and thinning to identical assignments on the finite root. Thus every maximal <forcing antichain> has ground-model size less than $\kappa$. There is no fixed size: for any nonzero <cardinal> $\mu<\kappa$, assigning all values below $\mu$ at the one coordinate $(\mu,0)$ is a maximal <forcing antichain> of size $\mu$.
Back to article page
