The existential theory of equicharacteristic henselian valued fields

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

  • Sylvy Anscombe - , University of Central Lancashire, Jeremiah Horrocks Inst (Autor:in)
  • Arno Fehm - , Professur für Algebra, University of Manchester (Autor:in)

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

OriginalspracheEnglisch
Seiten (von - bis)665-683
Seitenumfang19
FachzeitschriftAlgebra & number theory
Jahrgang10
Ausgabenummer3
PublikationsstatusVeröffentlicht - 2016
Peer-Review-StatusJa

Externe IDs

Scopus 84975138045

Schlagworte

Schlagwörter

  • Decidability, Diophantine equations, Henselian valued fields, Model theory

Bibliotheksschlagworte