Mimar Sinan Fine Arts University Institutional Repository
DSpace@MSGSÜ digitally stores academic resources such as books, articles, dissertations, bulletins, reports, research data published directly or indirectly by Mimar Sinan Fine Arts University in international standarts, helps track the academic performance of the university, provides long term preservation for resources and makes publications available to Open Access in accordance with their copyright to increase the effect of publications.Search MSGSÜ
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 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
This item appears in the following Collection(s)
-
Տcopus [1648]
Scopus | Abstract and citation database -
Ꮃeb of Science [1851]
Web of Science platform














