Quantifier elimination for valued fields equipped with an automorphism

Download

index.pdf

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

10
views

16
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

Journal

SELECTA MATHEMATICA-NEW SERIES

DOI

https://doi.org/10.1007/s00029-015-0183-0

Collections

Education and Humanities, Article

Citation Formats

S. Durhan and G. ONAY, “Quantifier elimination for valued fields equipped with an automorphism,” SELECTA MATHEMATICA-NEW SERIES, vol. 21, no. 4, pp. 1177–1201, 2015, Accessed: 00, 2020. [Online]. Available: https://hdl.handle.net/11511/65751.