2 papers
math.LO2024
Model theory of valued fields with an endomorphism
Simone Ramello
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 D…
math.LO2024
Definable henselian valuations in positive residue characteristic
Margarete Ketelsen, Simone Ramello, Piotr Szewczyk
We study the question of -definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a char…