Elementary properties of power series fields over finite fields

DOI10.2307/2695043MaRDI QIDQ2747716zbMATH OpenOpenAlexFDO

Authors Franz-Viktor Kuhlmann

Publication date 14 October 2001

Published in The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9807186

zbMATH Keywords

action of additive polynomialsHenselian fieldsimmediate valued function fieldindependence of elementary propertieslocal uniformization in positive characteristicmaximal valued fieldsoptimal approximationpseudo direct sumsspherical completenessvaluation independence

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of fields (12L12)

Abstract: In spite of the analogies between Q_p and F_p((t)) which became evident through the work of Ax and Kochen, an adaptation of the complete recursive axiom system given by them for Q_p to the case of F_p((t)) does not render a complete axiom system. We show the independence of elementary properties which express the action of additive polynomials as maps on F_p((t)). We formulate an elementary property expressing this action and show that it holds for all maximal valued fields. We also discuss the action of arbitrary polynomials on valued fields.

Recommendations

• Schanuel property for additive power series
• scientific article; zbMATH DE number 46386
• The existential theory of equicharacteristic Henselian valued fields
• scientific article; zbMATH DE number 4021286
• scientific article; zbMATH DE number 39344

Cites work

• Additive polynomials
• Galois cohomology of additive polynomial and \(n\)-th power mappings of fields
• scientific article; zbMATH DE number 1096797 (Why is no real title available?)
• scientific article; zbMATH DE number 3795932 (Why is no real title available?)
• scientific article; zbMATH DE number 3307642 (Why is no real title available?)
• Note on a result of Krull

Cited in

(16)

• Recognizable sets of power series over finite fields
• Correction and notes to the paper ``A classification of Artin-Schreier defect extensions and characterizations of defectless fields
• A theorem on power series with applications to classical groups over finite fields
• Maps on ultrametric spaces, Hensel's lemma, and differential equations over valued fields
• The algebra and model theory of tame valued fields
• The Smallest Pisot Element in the Field of Formal Power Series Over a Finite Field
• Selected methods for the classification of cuts, and their applications
• Characterization of extremal valued fields
• Additive Polynomials and Their Role in the Model Theory of Valued Fields
• The valuation theory of deeply ramified fields and its connection with defect extensions
• Defect extensions and a characterization of tame fields
• A classification of Artin-Schreier defect extensions and characterizations of defectless fields
• Universal-existential theories of fields
• One-dimensional F-definable sets in F((t))
• On the existential theory of the completions of a global field
• On Galois cohomology of unipotent algebraic groups over local fields

This page was built for publication: Elementary properties of power series fields over finite fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2747716)