Model theory of valued fields with an endomorphism

2024/07/06 by Simone Ramello, Ramello, Simone · 1 citation
#03C60 #12L12 #Commutative Algebra (math.AC) #FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/arxiv.2407.05043

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.

Cited by

• Automorphisms of valued fields: amalgamation and existential closedness

Related

• Contracting Endomorphisms of Valued Fields
• Quantifier Elimination for Valued Fields Equipped with an Automorphism
• Separably closed fields and contractive Ore modules
• Quantifier elimination for quasi-real closed fields
• Specialization of Difference Equations and High Frobenius Powers