A note on Dilworth's theorem in the infinite case

If ℘ is a poset and every antichain is finite, and if the length of the well-founded poset of antichains is less than ω21, then ℘ is the union of countably many chains. We also compute the length of the poset of antichains in the product of two ordinals, αxβ.