Quantifier elimination for valued fields equipped with an automorphism

Date

2015-10-01

Author

Durhan, Salih
ONAY, GÖNENÇ

Metadata

Show full item record

This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.

Item Usage Stats

0
views

2
downloads

We generalize and unify various tools from the study of valued fields equipped with an automorphism to obtain a relative quantifier elimination result for such fields. Along the way we point how the techniques we employ relate to a classical result from tropical geometry. The quantifier elimination result we provide is then applied to the transseries field equipped with the automorphism which sends to .

Subject Keywords

Valued difference fields, Valuation theory, Model theory

URI

https://hdl.handle.net/11511/65751

Collections

Education and Humanities, Article