PAC structures as invariants of finite group actions

DM Hoffmann, P Kowalski - The Journal of Symbolic Logic, 2023 - cambridge.org
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 …

[PDF][PDF] A contribution to the model theory of fields with free operators

S Mohamed - 2024 - personalpages.manchester.ac.uk
This thesis is primarily concerned with D-fields. These structures were introduced by Rahim
Moosa and Thomas Scanlon in their trilogy [51, 52, 53] in order to provide a common …

The uniform companion for fields with free operators in characteristic zero

S Mohamed - arXiv preprint arXiv:2311.01856, 2023 - arxiv.org
Generalising the uniform companion for large fields with a single derivation, we construct a
theory $\text {UC} _ {\mathcal {D}} $ of fields of characteristic $0 $ with free operators …

Neostability transfers in derivation-like theories

OL Sanchez, S Mohamed - arXiv preprint arXiv:2409.11248, 2024 - arxiv.org
Motivated by structural properties of differential field extensions, we introduce the notion of a
theory $ T $ being derivation-like with respect to another model-complete theory $ T_0 $. We …

[PDF][PDF] O teorii modeli ciał z operatorami

J Gogolok - poczta-math.uni.wroc.pl
This thesis is about fields with operators, through the point of view of algebra and model
theory. The two prototypical examples of fields with operators are differential fields (ie fields …