The existential theory of discrete equicharacteristic henselian valued fields
Date
29/03/2022
Horaire
14:00 à 15:45
Diffusion
Résume
From a model theoretic point of view, local fields of positive characteristic, i.e. fields of Laurent series over finite fields, are much less well understood than their characteristic zero counterparts - the fields of real, complex and p-adic numbers. I will discuss different approaches to axiomatize and decide at least their existential theory in various languages and under various forms of resolution of singularities.