[HTML][HTML] Model theoretic dynamics in Galois fashion

DM Hoffmann - Annals of Pure and Applied Logic, 2019 - Elsevier
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 …

Galois actions of finitely generated groups rarely have model companions

Ö Beyarslan, P Kowalski - Bulletin of the London Mathematical …, 2024 - Wiley Online Library
We show that if GG is a finitely generated group such that its profinite completion G ̂ G is
“far from being projective”(ie, the kernel of the universal Frattini cover of G ̂ G is not a small …

Co-theory of sorted profinite groups for PAC structures

DM Hoffmann, J Lee - Journal of Mathematical Logic, 2023 - World Scientific
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 …

Model theory of fields with free operators in positive characteristic

Ö Beyarslan, DM Hoffmann, M Kamensky… - Transactions of the …, 2019 - ams.org
We give algebraic conditions for a finite commutative algebra $ B $ over a field of positive
characteristic, which are equivalent to the companionability of the theory of fields with “$ B …

Model theory of Galois actions of torsion Abelian groups

Ö Beyarslan, P Kowalski - Journal of the Institute of Mathematics of …, 2023 - cambridge.org
We show that the theory of Galois actions of a torsion Abelian group A is companionable if
and only if, for each prime p, the p-primary part of A is either finite or it coincides with the …

Model theory of differential fields with finite group actions

DM Hoffmann, OL Sánchez - Journal of Mathematical Logic, 2022 - World Scientific
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 …

Operators coming from ring schemes

J Gogolok, P Kowalski - Journal of the London Mathematical …, 2022 - Wiley Online Library
We introduce the notion of a coordinate k \bfk‐algebra scheme and the corresponding
notion of a BB‐operator. This class of operators includes endomorphisms and derivations of …

Model theory of fields with finite group scheme actions

DM Hoffmann, P Kowalski - The Journal of Symbolic Logic, 2023 - cambridge.org
We study model theory of fields with actions of a fixed finite group scheme. We prove the
existence and simplicity of a model companion of the theory of such actions, which …

An AEC framework for fields with commuting automorphisms

T Hyttinen, K Kangas - Archive for Mathematical Logic, 2023 - Springer
In this paper, we introduce an AEC framework for studying fields with commuting
automorphisms. Fields with commuting automorphisms are closely related to difference …

Corrigendum: Model theory of fields with virtually free group actions: (Proc. Lond. Math. Soc.(2) 118 (2019), no. 2, 221–256)

Ö Beyarslan, P Kowalski - Proceedings of the London …, 2024 - Wiley Online Library
Corrigendum: Model theory of fields with virtually free group actions - Beyarslan - 2024 -
Proceedings of the London Mathematical Society - Wiley Online Library Skip to Article Content …