skip to content
 

E.c. Hasse fields - geometric axioms

Presented by: 
P Kowalski [Wroclaw]
Date: 
Thursday 17th February 2005 - 11:30 to 12:30
Venue: 
INI Seminar Room 1
Abstract: 

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

University of Cambridge Research Councils UK
    Clay Mathematics Institute The Leverhulme Trust London Mathematical Society Microsoft Research NM Rothschild and Sons