1: \begin{abstract} In \cite{GaosAutomorphismGroups}, Su Gao proves that the following are equivalent for a countable $\M$ (cf. theorem \ref{SuGaoTheorem3} too):
2: \begin{itemize}
3: \item[(I)] There is an uncountable model of the Scott sentence of $\M$.
4: \item[(II)] There exists some $j\in \overline{Aut(\M)}\setminus Aut(\M)$, where $\overline{Aut(\M)}$ is the closure of $Aut(\M)$ under the product topology in $\omega^\omega$.
5: \item[(III)] There is an $\lomegaone$- elementary embedding $j$ from $\M$ to itself such that $range(j)\subset \M$.
6: \end{itemize}
7: We generalize his theorem to all cardinals $\kappa$ of of cofinality $\omega$ (cf. theorem \ref{MainTheorem1}). The following are equivalent:
8: \begin{itemize}
9: \item[(I$^*$)] There is a model of the Scott sentence of $\M$ of size $\kappa^+$.
10: \item[(II$^*$)] For all $\alpha<\beta<\kappa^+$, there exist functions $j_{\beta,\alpha}$ in $\boundary$, such that for $\alpha<\beta<\gamma<\kappa^+$,
11: \begin{equation}
12: \tag{*}
13: j_{\gamma,\beta}\circ j_{\beta,\alpha}=j_{\gamma,\alpha},
14: \label{star}
15: \end{equation}
16: where $\overline{Aut(\M)}^{T}$ is the closure of $Aut(\M)$ under the product topology in $\kappa^\kappa$.
17: \item[(III$^*$)] For every $\beta<\kappa^+$, there exist $\linftykappafin$- elementary embeddings (cf. definition \ref{LInfinityKappaFiniteDefinition}) $(j_\alpha)_{\alpha<\beta}$ from $M$ to itself such that $\alpha_1<\alpha_2\Rightarrow range(j_{\alpha_1})\subset range(j_{\alpha_2})$.
18: \end{itemize}
19:
20: Theorem \ref{MainTheorem1} holds both for countable and uncountable $\kappa$. Condition $\eqref{star}$ in (II$^*$), which does not appear in the countable case, can not be removed when $\kappa$ is uncountable (cf. theorem \ref{StarNecessary}).
21:
22: Condition (II$^*$) imply the existence of at least $\kappa^\omega$ automorphisms of $\M$ (cf. corollary \ref{KappaToOmega}). It is unknown to the author whether a purely topological proof of corollary \ref{KappaToOmega} exists.
23: \end{abstract}