On automorphisms groups of structures of countable cofinality

arXiv1211.7145MaRDI QIDQ6237619FDOQ6237619

Authors: Ioannis Souldatos 

Publication date: 29 November 2012

Abstract: In [2] Su Gao proves that the following are equivalent for a countable $M$ (cf. theorem 1.2 too): (I)There is an uncountable model of the Scott sentence of $M$. (II) There exists some $jinoverlineAut(M)setminusAut(M)$, where $overlineAut(M)$ is the closure of $Aut(M)$ under the product topology in $omeg{a}^{o}mega$. (III) There is an $L_{omeg{a}_1,omega}$- elementary embedding $j$ from $M$ to itself such that $range(j)subsetM$. We generalize his theorem to all cardinals $kappa$ of of cofinality $omega$ (cf. theorem 4.2). The following are equivalent: (I${}^{\ast }$) There is a model of the Scott sentence of $M$ of size $kapp{a}^{+}$. (II${}^{\ast }$) For all $$, there exist functions $$ in $overline{Aut(M)}^{T}setminusAut(M)$, such that for $$, �egin{equation}(*) j_{gamma,�eta}circ j_{�eta,alpha}=j_{gamma,alpha},end{equation} where $overline{Aut(M)}^T$ is the closure of $Aut(M)$ under the product topology in $kapp{a}^{k}appa$. (III${}^{\ast }$) For every $$, there exist $L_{infty,kappa}^{fin}$- elementary embeddings (cf. definition 2.5) $$ from $M$ to itself such that $alph{a}_1<alph{a}_{2}Rightarrowrange(j_{alph{a}_1})subsetrange(j_{alph{a}_2})$. Theorem 4.2 holds both for countable and uncountable $kappa$. Condition (*) in (II${}^{\ast }$), which does not appear in the countable case, can not be removed when $kappa$ is uncountable (cf. theorem 4.5). Condition (II${}^{\ast }$) imply the existence of at least $kapp{a}^{o}mega$ automorphisms of $M$ (cf. corollary 4.6). It is unknown to the author whether a purely topological proof of corollary 4.6 exists.

Mathematics Subject Classification ID

Symmetric groups (20B30) Topological groups (topological aspects) (54H11) Properties of classes of models (03C52) Other infinitary logic (03C75) Infinite automorphism groups (20B27)

This page was built for publication: On automorphisms groups of structures of countable cofinality

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6237619)