# FG1 Seminar talk

2017-10-20 (14:00)
Jan Grebík (Akademie věd České republiky)
Reconstruction of $\omega$-categorical structures from their automorphism groups

Abstract:

By a standard result in model theory a set $A$ is $\emptyset$-definable in an $\omega$-categorical structure $M$ if and only if it is invariant under the action of Aut($M$). That suggests that a lot information about $M$ is coded in Aut($M$). We present two reconstruction theorems that are connected to this philosophy.

• Ahlbrandt and Ziegler's theorem says that $\omega$-categorical structures $M$, $N$ are bi-interpretable if and only if Aut($M$) is topologically isomorphic to Aut($N$).
• Rubin's theorem says that under an additional assumption on $M$ (weak $\forall\exists$-interpretation) it is enough to have Aut($M$) isomorphic to Aut($N$) as abstract groups.