The INI has a new website!

This is a legacy webpage. Please visit the new site to ensure you are seeing up to date information.

An Isaac Newton Institute Programme

Model Theory and Applications to Algebra and Analysis

E.c. Hasse fields -- geometric axioms

17th February 2005

Author: Piotr Kowalski (Wroclaw University)


Ziegler proved that the theory of fields with e commuting Hasse derivations has a model companion. This model companion eliminates quantifiers and is an expansion of the theory of separably closed fields of inseparable degree e. I wanted to find an axiomatization of this theory which gives criteria whether a system of Hasse-differential equations and inequalities is solvable (e.g. X'=X and X\neq 0 is not solvable). Such axioms are given in terms of higher prolongation spaces (related to arc spaces). I also found axioms of the theories of e.c. fields with truncated Hasse derivations. This theories are higher order analogues of Wood's DCF-p theories.

Related Links