Submission date: 6 July 2024

Abstract:

We establish relative quantifier elimination for valued fields of residue characteristic zero enriched with a non-surjective valued field endomorphism, building on recent work of Dor and Halevi. In particular, we deduce relative quantifier elimination for the limit of the Frobenius action on separably closed valued fields of positive characteristic.

Mathematics Subject Classification: 03C60, 12L12

Keywords and phrases:

Full text arXiv 2407.05043: pdf, ps.