Quantifier elimination for valued fields equipped with an automorphism

Creative Commons License

Durhan S., ONAY G.

SELECTA MATHEMATICA-NEW SERIES, cilt.21, sa.4, ss.1177-1201, 2015 (SCI-Expanded) identifier identifier

  • Yayın Türü: Makale / Tam Makale
  • Cilt numarası: 21 Sayı: 4
  • Basım Tarihi: 2015
  • Doi Numarası: 10.1007/s00029-015-0183-0
  • Dergi Adı: SELECTA MATHEMATICA-NEW SERIES
  • Derginin Tarandığı İndeksler: Science Citation Index Expanded (SCI-EXPANDED), Scopus
  • Sayfa Sayıları: ss.1177-1201
  • Orta Doğu Teknik Üniversitesi Adresli: Evet

Özet

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 .