Polymorphism clones of homogeneous structures: gate coverings and automatic homeomorphicity (Q1652867)

\textit{M. Bodirsky} and \textit{M. Pinsker} have asked in [Trans. Am. Math. Soc. 367, No. 4, 2527--2549 (2015; Zbl 1375.03032)] which \(\omega\)-categorial structures are encoded in its polymorphism clone (treated as an abstract one). A particular question is when can the canonical topology (of pointwise convergence) of a polymorphism clone of a structure be reconstructed from the underlying abstract clone. To find appropriate conditions, some job is already done in \textit{M. Behrisch} et al. [Stud. Log. 105, No. 1, 65--91 (2017; Zbl 1371.08002)]. The paper under review is based on this study and extends its results. Among the possible meanings of the phrase ``reconstruction of the topology'', the authors have chosen one related to the so called automatic homeomorphicity of clones, and aim to find general methods to show that the polymorphism clones of whole classes of structures have this property. They have found two generic criteria for countable homogeneous structures and have proved automatic homeomorphicity of polymorphism clones for a particular structure.