Complete ordered sets with no infinite antichains
scientific article; zbMATH DE number 3730196