Mimar Sinan Güzel Sanatlar Üniversitesi Açık Bilim, Sanat Arşivi
Açık Bilim, Sanat Arşivi, Mimar Sinan Güzel Sanatlar Üniversitesi tarafından doğrudan ve dolaylı olarak yayınlanan; kitap, makale, tez, bildiri, rapor gibi tüm akademik kaynakları uluslararası standartlarda dijital ortamda depolar, Üniversitenin akademik performansını izlemeye aracılık eder, kaynakları uzun süreli saklar ve yayınların etkisini artırmak için telif haklarına uygun olarak Açık Erişime sunar.MSGSÜ'de Ara
Quantifier elimination for valued fields equipped with an automorphism
dc.contributor.author | Durhan, Salih | |
dc.contributor.author | Onay, Gonenc | |
dc.date.accessioned | 2025-01-09T20:14:23Z | |
dc.date.available | 2025-01-09T20:14:23Z | |
dc.date.issued | 2015 | |
dc.identifier.issn | 1022-1824 | |
dc.identifier.issn | 1420-9020 | |
dc.identifier.uri | https://doi.org/10.1007/s00029-015-0183-0 | |
dc.identifier.uri | https://hdl.handle.net/20.500.14124/9030 | |
dc.description.abstract | 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 . | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Springer Basel Ag | en_US |
dc.relation.ispartof | Selecta Mathematica-New Series | en_US |
dc.rights | info:eu-repo/semantics/closedAccess | en_US |
dc.subject | Valuation theory | en_US |
dc.subject | Model theory | en_US |
dc.subject | Valued difference fields | en_US |
dc.title | Quantifier elimination for valued fields equipped with an automorphism | en_US |
dc.type | article | en_US |
dc.authorid | Onay, Gonenc/0000-0001-8159-4514 | |
dc.department | Mimar Sinan Güzel Sanatlar Üniversitesi | en_US |
dc.identifier.doi | 10.1007/s00029-015-0183-0 | |
dc.identifier.volume | 21 | en_US |
dc.identifier.issue | 4 | en_US |
dc.identifier.startpage | 1177 | en_US |
dc.identifier.endpage | 1201 | en_US |
dc.relation.publicationcategory | Makale - Uluslararası Hakemli Dergi - Kurum Öğretim Elemanı | en_US |
dc.identifier.wosquality | Q1 | |
dc.identifier.wos | WOS:000361543900002 | |
dc.identifier.scopus | 2-s2.0-84942195891 | |
dc.identifier.scopusquality | Q1 | |
dc.indekslendigikaynak | Web of Science | en_US |
dc.indekslendigikaynak | Scopus | en_US |
dc.snmz | KA_20250105 |
Bu öğenin dosyaları:
Dosyalar | Boyut | Biçim | Göster |
---|---|---|---|
Bu öğe ile ilişkili dosya yok. |
Bu öğe aşağıdaki koleksiyon(lar)da görünmektedir.
-
Տcopus [1543]
Scopus | Abstract and citation database -
Ꮃeb of Science [1746]
Web of Science platform