Separably closed fields with Hasse derivations

DOI10.2178/jsl/1045861515zbMath1039.03031OpenAlexW2171605982MaRDI QIDQ4457735

Martin Ziegler

Publication date: 25 March 2004

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2178/jsl/1045861515

zbMATH Keywords

quantifier eliminationseparably closed fieldsHasse derivation

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12) Quantifier elimination, model completeness, and related topics (03C10)

Related Items (15)

SEMIABELIAN VARIETIES OVER SEPARABLY CLOSED FIELDS, MAXIMAL DIVISIBLE SUBGROUPS, AND EXACT SEQUENCES ⋮ Existentially closed fields withG-derivations ⋮ Existentially closed fields with finite group actions ⋮ A note on extending actions of infinitesimal group schemes ⋮ Witt vectors and separably closed fields with higher derivations ⋮ ON EXISTENCE OF CANONICAL -BASES ⋮ On the isotriviality of projective iterative \(\partial\)-varieties ⋮ Integrating Hasse-Schmidt derivations ⋮ Jet and prolongation spaces ⋮ Prolongations in differential algebra ⋮ Model theory of fields with free operators in characteristic zero ⋮ Geometric axioms for existentially closed Hasse fields ⋮ Derivations of the Frobenius map ⋮ Iterative differential Galois theory in positive characteristic: A model theoretic approach ⋮ Model theory of fields with free operators in positive characteristic

This page was built for publication: Separably closed fields with Hasse derivations