59c24a3d52121be1.tex
1: \begin{abstract}
2: Let $\kexpp$ be the class 
3: of structures $\fa$ such that the automorphism group of $\fa$ 
4: has
5: at most $c n^{d n}$ orbits
6: in its componentwise action on the set of $n$-tuples with pairwise distinct entries, 
7:  for some constants $c,d$ with $d < 1$.
8: We show that $\kexpp$ is precisely the class of finite covers of first-order reducts of unary structures, and also that $\kexpp$ is precisely the class of first-order reducts of finite covers of unary structures. 
9: It follows that the class of first-order reducts of finite covers of unary structures is closed under taking model companions and model-complete cores, which is
10: an important property when studying the constraint satisfaction problem for structures from
11: $\kexpp$. We also show that Thomas' conjecture holds
12: for $\kexpp$: all structures in
13: $\kexpp$ have finitely many first-order reducts up to first-order interdefinability. 
14: \end{abstract}
15: