Model theory of valued fields with an endomorphism
Logic
2024-08-23 v2 Commutative Algebra
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.
Keywords
Cite
@article{arxiv.2407.05043,
title = {Model theory of valued fields with an endomorphism},
author = {Simone Ramello},
journal= {arXiv preprint arXiv:2407.05043},
year = {2024}
}
Comments
New version, correcting a previous mistake in the last step of the proof of the embedding lemma