GiveI claim that one can modify a counterexample with $\mathbb{R}/\mathbb{Z}\simeq S^{1}$$\kappa$ non-logical symbols to obtain a the standard cyclic orderingcounterexample with only countably many non-logical symbols. In other wordsIt is easy to construct structures with many relation symbols or function symbols and with many automorphisms, but where if we putfix an element, then the new structure would be rigid (as was noted by Eric Wofsey). For example, if $F$ is a ternaryfield and $f_{a}:F\rightarrow F$ is the mapping defined by $f_{a}(x)=ax$, then $(F,(f_{a})_{a\in A})$
Suppose that $(X,(R_{\alpha,n})_{\alpha<\kappa,n\in\mathbb{N}})$ is a structure where each $R_{\alpha,n}$ is an $n$-ary relation. Suppose now that $C$$0\in X$ and $(X,0,(R_{\alpha,n})_{\alpha<\kappa,n\in\mathbb{N}})$ has trivial automorphism group. Then for each $n$, let $R_{n}$ be the $n$-ary relation on $\mathbb{R}/\mathbb{Z}\simeq S^{1}$$X\times\kappa$ where $x,y,z\in C$$((x_{1},\alpha_{1}),...,(x_{n},\alpha_{n}))\in R_{n}$ if and only if $x,y,z$ are distinct$\alpha_{1}=...=\alpha_{n}$ and oriented counterclockwise (for example $(.1,.2,.3)\in C$ but $(.3,.2,.1)\not\in C$ )$(x_{1},...,x_{n})\in R_{\alpha_{1},n}$. Now considerLet $\leq$ be the structure,partial ordering on $(\mathbb{R}/\mathbb{Z},C,m)$$X\times\kappa$ where $m$ is the operation defined by$(x,\alpha)\leq(y,\beta)$ if and only if $m(x,y,z)=(y-x)+(z-x)+x$$\alpha\leq\beta$. Consider the mapping
Suppose $\phi_{a}$ where$f:X\rightarrow X$ is an automorphism of $\phi_{a}(x)=x+a$$(X,(R_{\alpha,n})_{\alpha,n})$. Then define $\phi_{a}$$\phi:X\times\kappa\rightarrow X\times\kappa$ by letting $\phi(x,\alpha)=(f(x),\alpha).$ Then $\phi$ is an automorphism of the structure $(\mathbb{R}/\mathbb{Z},C,m)$$(X\times\kappa,(R_{n})_{n\in\mathbb{N}},\leq)$.
On the other handNow suppose that $\phi:X\times\kappa\rightarrow X\times\kappa$ is an automorphism of $(X\times\kappa,(R_{n})_{n\in\mathbb{N}},\leq)$. Then it is easy to see that if $\phi(x,\alpha)=(y,\beta)$, the structurethen $(\mathbb{R}/\mathbb{Z},C,m,0)$ has no non-trivial automorphisms: the operation$\alpha=\beta$. Therefore for each $+$$\alpha<\kappa$, there is definable in the structuresome $(\mathbb{R}/\mathbb{Z},C,m,0)$$f_{\alpha}:X\rightarrow X$ such that $\phi(x,\alpha)=(f_{\alpha}(x),\alpha)$. FurthermoreHowever, each rational number inif $\mathbb{R}/\mathbb{Z}$ is easily seen to be definable in$\alpha<\beta$, then $(S^{1},C,m,0)$$(x,\alpha)\leq(x,\beta)$, so $(f_{\alpha}(x),\alpha)=\phi(x,\alpha)\leq\phi(x,\beta)=(f_{\beta}(x),\beta)$. From the cyclic orderingTherefore, one can therefore define each intervalwe have $[r,s]$$f_{\alpha}(x)=f_{\beta}(x)$. We conclude that there is some $f:X\rightarrow X$ with rational endpoints $r,s$ in terms of a first order formula$\phi(x,\alpha)=(f(x),\alpha)$. Furthermore, the automorphism $f$ fixes $0$ if and only if the automorphism $\phi$ fixes $(0,0)$.
$(x_{1},...,x_{n})\in R_{\alpha,n}$ if and only if $((x_{1},\alpha),...,(x_{n},\alpha))\in R_{\alpha}$ if and only if $((f(x_{1}),\alpha),...,(f(x_{n}),\alpha))=(\phi(x_{1},\alpha),...,\phi(x_{n},\alpha))\in R_{\alpha}$ if and only if $(f(x_{1}),...,f(x_{n}))\in R_{\alpha}$. Therefore each element in, the function $\mathbb{R}/\mathbb{Z}$$f$ is definable in termsan automorphism of countably many first order formulas in the structure $(\mathbb{R}/\mathbb{Z},C,m,0)$$(X,(R_{\alpha,n})_{\alpha,n})$. ThereforeWe therefore have the structure $(\mathbb{R}/\mathbb{Z},C,m,0)$ has no nonautomorphism group of $(X,(R_{\alpha,n})_{\alpha,n})$ be in a one-trivial automorphismsto-one correspondence with the automorphism group of $(X\times\kappa,(R_{n})_{n\in\mathbb{N}},\leq)$. This example also works for cardinalities belowFurthermore, since only one automorphism of $X$ fixes $0$, only the continuum simply by taking subgroupstrivial automorphism of $\mathbb{R}/\mathbb{Z}$ instead$(X\times\kappa,(R_{n})_{n\in\mathbb{N}},\leq)$ fixes $(0,0)$.