Maximal-antichain sizes in the finite Lévy collapse

ID: maximal-antichain-sizes-in-the-finite-levy-collapse

For a regular uncountable , the finite-condition collapse has the 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 . There is no fixed size: for any nonzero cardinal , assigning all values below at the one coordinate is a maximal forcing antichain of size .

New to topics? Read the docs here!