Mathematical Institute, University of Wroclaw, pl. Grunwaldzki 2/4, 50-384 Wroclaw, Poland - Mathematical Institute of the Polish Academy of Sciences, Kopernika 18, 51-617 Wroclaw, Poland
Abstract:
We propose a model-theoretic framework for investigating profinite structures. We prove that in many cases small profinite structures interpret infinite groups. This corresponds to results of Hrushovski and Peterzil on interpreting groups in locally modular stable and o-minimal structures.