From finite posets to chain complete posets having no infinite antichain
scientific article; zbMATH DE number 828188
scientific article