Elementary properties of power series fields over finite fields

Abstract

Abstract In spite of the analogies between ℚ p and which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for ℚ p , to the case of does not render a complete axiom system. We show the independence of elementary properties which express the action of additive polynomials as maps on . We formulate an elementary property expressing this action and show that it holds for all maximal valued fields. We also derive an example of a rather simple immediate valued function field over a henselian defectless ground field which is not a henselian rational function field. This example is of special interest in connection with the open problem of local uniformization in positive characteristic.