We fix a monster model D of some stable theory and investigate substructures of D which
are existentially closed within the class of substructures equipped with an action of a fixed …

We study model theory of actions of finite groups on substructures of a stable structure. We
give an abstract description of existentially closed actions as above in terms of invariants …

We make explicit certain results around the Galois correspondence in the context of
definable automorphism groups, and point out the relation to some recent papers dealing …

We show that for an arbitrary stable theory T, a group G is profinite if and only if G occurs as
a Galois group of some Galois extension inside a monster model of T. We prove that any …

The aim of the paper and of a wider project is to translate main notions of anabelian
geometry into the language of model theory. Here we finish with giving the definition of …

We study algebraic closure and its relation with definable closure in free groups and more
generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group G and a …

Some connections between Grothendieck's work and model theory are briefly explored
here: stability (early versions connected with Grothendieck's work in Functional Analysis) …

We study algebraic closure and its relation with definable closure in free groups and more
generally in torsion-free hyperbolic groups. Given a torsion-free hyperbolic group Γ and a …

We have codified the algebraic fundamental group of anabelian geometry as a multi-sorted
logical structure so as to use model-theoretic ideas, analogies, and language to go further …

arXiv:1905.09741v1 [math.LO] 23 May 2019 Page 1 arXiv:1905.09741v1 [math.LO] 23 May
2019 PAC STRUCTURES IN NUTSHELL DANIEL MAX HOFFMANN† Instytut Matematyki …