Affiliation:
1. Department of Mathematics “Giuseppe Peano” University of Torino Torino Italy
Abstract
AbstractIn Kechris et al. [J. Symb. Log. 83 (2018), no. 3, 1190–1203], it was asked if equality on the reals is sharp as a lower bound for the complexity of topological isomorphism between oligomorphic groups. We prove that under the assumption of weak elimination of imaginaries, this is indeed the case. Our methods are model theoretic and they also have applications on the classical problem of reconstruction of isomorphisms of permutation groups from (topological) isomorphisms of automorphisms groups. As a concrete application, we give an explicit description of for any vector space of dimension over a finite field, in affinity with the classical description for finite‐dimensional spaces due to Schreier and van der Waerden.
Reference31 articles.
1. Quasi finitely axiomatizable totally categorical theories
2. Reducts of Ramsey structures
3. P. J.CameronandS.Tarzi On the automorphism group of them$m$‐coloured random graph Preprint 2007. Available on the ArXiv.
4. On the automorphismns of the classical groups;Dieudonné J.;Mem. Amer. Math. Soc.,1951
5. Subgroups of small Index in infinite Symmetric Groups