Axiomatization of the Laurent series field over the algebraic closure of the p-element field

Por Gonenc Onay.

Abstract: This is a longstanding problem. We will expose a complete axiom system, which is also model complete and satisfied by F_p^{alg}((t)). A proof will be sketched. This work is joint with Françoise Delon (Paris) and Arno Fehm (Dresden) and should be considered as in progress.