The existential theory of equicharacteristic henselian valued fields
Publikation: Beitrag in Fachzeitschrift › Forschungsartikel › Beigetragen › Begutachtung
Beitragende
Abstract
We study the existential (and parts of the universal-existential) theory of equicharacteristic henselian valued fields. We prove, among other things, an existential Ax-Kochen-Ershov principle, which roughly says that the existential theory of an equicharacteristic henselian valued field (of arbitrary characteristic) is determined by the existential theory of the residue field; in particular, it is independent of the value group. As an immediate corollary, we get an unconditional proof of the decidability of the existential theory of F-q((t)).
Details
| Originalsprache | Englisch |
|---|---|
| Seiten (von - bis) | 665-683 |
| Seitenumfang | 19 |
| Fachzeitschrift | Algebra & number theory |
| Jahrgang | 10 |
| Ausgabenummer | 3 |
| Publikationsstatus | Veröffentlicht - 2016 |
| Peer-Review-Status | Ja |
Externe IDs
| Scopus | 84975138045 |
|---|
Schlagworte
Schlagwörter
- Decidability, Diophantine equations, Henselian valued fields, Model theory