A countable-support symmetric iteration separating PP from AC
Die Autoren konstruieren ein transientes symmetrisches Modell der ZF-Mengenlehre, das das Prinzip der Auswahl für abzählbare Familien (AC_wo) und das Prinzip der Partition (PP) erfüllt, während die volle Auswahlaxiom (AC) verletzt bleibt, indem sie eine symmetrische Iteration mit abzählbarem Träger über einem Cohen-Seed-Modell durchführen.