On the characterization of semilattices satisfying the descending chain condition and some remarks on distinguishing subsets Josef Zapletal — 1974 Archivum Mathematicum