Polymorphism clones of homogeneous structures: generating sets, Sierpiński rank, cofinality and the Bergman property (Q1652881)

An infinite group whose connected Cayley graphs all have a finite diameter is said to have the Bergman property. The Bergman property and the notion of strong cofinality are defined for clones. In this paper, the authors show that a clone has uncountable strong cofinality if and only if it has uncountable cofinality and the Bergman property. A class of countable homogeneous structures (including the Rado graph) whose polymorphism clones have strong uncountable cofinality and in particular the Bergman property is characterized. Some open problems are presented in the last section.