Show/Hide Menu
Hide/Show Apps
anonymousUser
Logout
Türkçe
Türkçe
Search
Search
Login
Login
OpenMETU
OpenMETU
About
About
Open Science Policy
Open Science Policy
Communities & Collections
Communities & Collections
Help
Help
Frequently Asked Questions
Frequently Asked Questions
Videos
Videos
Thesis submission
Thesis submission
Publication submission with DOI
Publication submission with DOI
Publication submission
Publication submission
Contact us
Contact us
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
4
views
6
downloads
Cite This
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
IEEE
ACM
APA
CHICAGO
MLA
BibTeX
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.