From finite posets to chain complete posets having no infinite antichain

LetF denote the class of finite posets and letF* denote the larger class of chain complete posets which have no infinite antichain. We show that a variety of results which are known to hold for finite posets are also true for posets inF*.