OL Sánchez - Israel Journal of Mathematics, 2016 - Springer
We prove that the class of partial differential fields of characteristic zero with an automorphism has a model companion. We then establish the basic model theoretic …
arXiv:1404.7475v3 [math.LO] 25 Nov 2015 Page 1 arXiv:1404.7475v3 [math.LO] 25 Nov 2015 EXISTENTIALLY CLOSED FIELDS WITH G-DERIVATIONS DANIEL HOFFMANN† AND …
We study integrating (that is expanding to a Hasse–Schmidt derivation) derivations, and more generally truncated Hasse–Schmidt derivations, satisfying iterativity conditions given …
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 differentially closed fields with several commuting derivations Page 1 Journal of Algebra 362 (2012) 107–116 Contents lists available at SciVerse ScienceDirect …
Ö 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 …
OL Sánchez - arXiv preprint arXiv:1309.6330, 2013 - arxiv.org
In this thesis three topics on the model theory of partial differential fields are considered: the generalized Galois theory for partial differential fields, geometric axioms for the theory of …
Model Theory of Fields With Operators-a Survey. Page 107 Zoé Chatzidakis Model Theory of Fields With Operators–a Survey For Jouko, on the occasion of his 60th birthday Abstract: This …