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