The ANTI-order for caccc posets — Part II Original Research Article

In Part I we defined the ANTI-order, ANTI-good subsets, ANTI-perfect sequences and ANTI-cores for caccc posets. In this part we prove the main result: If Π − (Pξ : ξ ⩽ λ) is an ANTI-perfect sequence of a connected caccc poset P which does not contain a one-way infinite fence, then Pξ is a retract of P for all ξ ⩽ λ.