1: \begin{abstract}

2: We present a dichotomy for structures $\bA$ 

3: %whose automorphism group contains 

4: that are preserved by primitive actions  of $S_{\omega} = \Sym({\mathbb N})$: 

5: %with a first-order interpretation in $({\mathbb N};=)$ and a primitive automorphism group: 

6: either such a structure interprets all finite structures primitively positively, or it is of a very simple form and in particular has a binary polymorphism $f$ and an automorphism $\alpha$ satisfying $f(x,y) = \alpha(f(y,x))$. 

7: It is a consequence of our results that the constraint satisfaction problem for $\bA$ is in P or NP-complete. 

8: 

9: %OLD: Let ${\mathscr C}$ be a clone on a countable set $D$, and suppose that the image of a primitive action of $S_\omega$ on $D$ lies dense in the unary maps of ${\mathscr C}$. We show that

10: %then ${\mathscr C}$ has a continuous homomorphism to the clone of projections on a two-element set. 

11: To prove our result, we study the first-order reducts of the Johnson graph $\bJ(k)$, for $k \geq 2$, whose automorphism group $G$ equals the action of 

12: %$S_\omega$ 

13: $\Sym({\mathbb N})$

14: on the set $V$ of $k$-element subsets of $\mathbb N$. 

15: %We show that $\bJ(k)$ is interdefinable with a homogeneous finitely bounded structure. 

16: %We use this to 

17: %We show that every clone whose 

18: %endomorphisms are generated by a primitive action of $S_\omega$ has a continuous homomorphism to the clone of projections on a two-element set. 

19: We use the fact that $\bJ(k)$

20: has a finitely bounded homogeneous Ramsey expansion and that $G$ is a maximal closed subgroup of $\Sym(V)$. 

21: %verify 

22: %Thomas' conjecture for $\b

23: %and also obtain 

24: %We also show that every model-complete core which is interdefinable with 

25: %$\bJ(k)$ has an NP-complete CSP. 

26: %Addition: we also show 

27: %every 

28: %structure 

29: %first-order reduct of $\bJ(k)$ has a constraint satisfaction problem which is in P or NP-complete. 

30: \end{abstract}

31: