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 …

Existentially closed fields with finite group actions

DM Hoffmann, P Kowalski - Journal of Mathematical Logic, 2018 - World Scientific
We study algebraic and model-theoretic properties of existentially closed fields with an
action of a fixed finite group. Such fields turn out to be pseudo-algebraically closed in a …

Model theory of derivations of the Frobenius map revisited

J Gogolok - The Journal of Symbolic Logic, 2023 - cambridge.org
We prove some results about the model theory of fields with a derivation of the Frobenius
map, especially that the model companion of this theory is axiomatizable by axioms used by …

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 …

Fields with several commuting derivations

D Pierce - The Journal of Symbolic Logic, 2014 - cambridge.org
For every natural number m, the existentially closed models of the theory of fields with m
commuting derivations can be given a first-order geometric characterization in several ways …

Model theory of fields with virtually free group actions

Ö Beyarslan, P Kowalski - Proceedings of the London …, 2019 - Wiley Online Library
For a group G, we define the notion of a G‐kernel and show that the properties of G‐kernels
are closely related with the existence of a model companion of the theory of Galois actions of …

Geometric axioms for existentially closed Hasse fields

P Kowalski - Annals of Pure and Applied Logic, 2005 - Elsevier
Geometric axioms for existentially closed Hasse fields✩ Page 1 Annals of Pure and Applied
Logic 135 (2005) 286–302 www.elsevier.com/locate/apal Geometric axioms for existentially …

Geometric axioms for differentially closed fields with several commuting derivations

OL Sánchez - Journal of Algebra, 2012 - Elsevier
Geometric axioms for differentially closed fields with several commuting derivations Page 1
Journal of Algebra 362 (2012) 107–116 Contents lists available at SciVerse ScienceDirect …

Geometric characterizations of existentially closed fields with operators

D Pierce - Illinois Journal of Mathematics, 2004 - projecteuclid.org
This paper concerns the basic model-theory of fields of arbitrary characteristic with
operators. Simplified geometric axioms are given for the model-companion of the theory of …

The theory DCFA exists for

K Ino, OL Sanchez - arXiv preprint arXiv:2410.17892, 2024 - arxiv.org
We prove that the (elementary) class of differential-difference fields in characteristic $ p> 0$
admits a model-companion. In the terminology of Chatzidakis-Pillay, this says that the class …