Model theory of valued fields with an endomorphism
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.
Authors
- Simone Ramello (ORCID: https://orcid.org/0000-0002-9998-4155)
Institutions
- University of Münster (DE)
- FH Münster University of Applied Sciences (DE)
Publication Details
- Journal
- Selecta Mathematica
- Published
- 2026-07-25
- DOI
- https://doi.org/10.1007/s00029-026-01188-0
- Primary Topic
- Advanced Topology and Set Theory
- Type
- article
- Field-Weighted Citation Impact
- 0.00
Funders
- Deutsche Forschungsgemeinschaft
- Agence Nationale de la Recherche
- Westfälische Wilhelms-Universität Münster