Questo sito utilizza solo cookie tecnici per il corretto funzionamento delle pagine web e per il miglioramento dei servizi.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Se vuoi saperne di più o negare il consenso consulta l'informativa sulla privacy.
Proseguendo la navigazione del sito acconsenti all'uso dei cookie.
Seminario del 2023
Settembre
22
2023
Gianluca Paolini
nel ciclo di seminari: LOGIC, CATEGORIES, AND APPLICATIONS SEMINAR
Seminario interdisciplinare
It was asked in [J. Math. Log. , Vol. 22, No. 01, (2022)] 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 Aut(GL(V)) for any vector space of dimension $\aleph_0$ over a finite field, in affinity with the classical description for finite dimensional spaces due to Schreier and van der Waerden.