A clone on a set X is a set of finitary operations on X which contains all
the projections and is closed under composition.
The set of all clones forms a complete lattice Cl(X) with greatest element O,
the set of all finitary operations. For finite sets X the lattice is "dually
atomic": every clone other than O is below a coatom of Cl(X).
It was open whether Cl(X) is also dually atomic for infinite X. Assuming the
continuum hypothesis, we show that there is a clone C on a countable set such
that the interval of clones above C is linearly ordered, uncountable, and has
no coatoms.Comment: LaTeX2e, 20 pages. Revised version: some concepts simplified, proof
details adde