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 …
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 …
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 …
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 …
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 …
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 Page 1 Journal of Algebra 362 (2012) 107–116 Contents lists available at SciVerse ScienceDirect …
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 …
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 …