We show that certain classes of modules have universal models with respect to pure
embeddings: Let R be a ring, T a first‐order theory with an infinite model extending the …

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 introduce the notion of differential largeness for fields equipped with several commuting
derivations (as an analogue to largeness of fields). We lay out the foundations of this new …

We achieve several results. First, we develop a variant of the theory of absolute Galois
groups in the context of many sorted structures. Second, we provide a method for coding …

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 …

Let G be a finite group. We explore the model-theoretic properties of the class of differential
fields of characteristic zero in m commuting derivations equipped with a G-action by …

We study the embedding property in the category of sorted profinite groups. We introduce a
notion of the sorted embedding property (SEP), analogous to the embedding property for …

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 …

NOTE ON THE UNIQUENESS OF A UNIVERSAL SEP-COVER -East Asian mathematical
journal | Korea Science society@kisti.re.kr Login English 한국어 English KoreaScience …

This text is based on my talk at the RIMS Model Theory Workshop, taking place in December
2022. In October 2022,[3] was accepted for publication in the Journal of Mathematical Logic …