Approximation and algebraicity in positive characteristic Hahn fields

2023/01/15 by Lisinski, Victor
#FOS: Mathematics #Logic (math.LO) #Number Theory (math.NT)

paper · doi:10.48550/arxiv.2301.06177

Abstract

We study the relative algebraic closure K of \mathbbF_p((t)) inside \mathbbF((t^ℚ)). We show that the supports of elements in K have order type strictly less than ω^ω. We also recover a theorem by Rayner giving a bound to the ramification away from p in the support of elements in K, and an analogue of Rayner's result for the residue field. This work has applications to the decidability of the first order theory of \mathbbF_p((t^ℚ)), and other tame fields, in the language of valued fields with a constant symbol for t.

Related

• Decidability of positive characteristic tame Hahn fields in L_t
• On the topological structure of the Hahn field and convergence of power series
• The relative approximation degree in valued function fields
• Strong approximation for a family of norm varieties
• Coefficient fields and scalar extension in positive characteristic