Vol. 10, No. 3, 2016

Download this article
Download this article For screen
For printing
Recent Issues

Volume 18, 1 issue

Volume 17, 12 issues

Volume 16, 10 issues

Volume 15, 10 issues

Volume 14, 10 issues

Volume 13, 10 issues

Volume 12, 10 issues

Volume 11, 10 issues

Volume 10, 10 issues

Volume 9, 10 issues

Volume 8, 10 issues

Volume 7, 10 issues

Volume 6, 8 issues

Volume 5, 8 issues

Volume 4, 8 issues

Volume 3, 8 issues

Volume 2, 8 issues

Volume 1, 4 issues

The Journal
About the Journal
Editorial Board
Editors’ Interests
Submission Guidelines
Submission Form
Policies for Authors
Ethics Statement
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
Author Index
To Appear
Other MSP Journals
The existential theory of equicharacteristic henselian valued fields

Sylvy Anscombe and Arno Fehm

Vol. 10 (2016), No. 3, 665–683

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 Fq((t)).

model theory, henselian valued fields, decidability, diophantine equations
Mathematical Subject Classification 2010
Primary: 03C60
Secondary: 12L12, 12J10, 11U05, 12L05
Received: 18 September 2015
Revised: 9 February 2016
Accepted: 15 March 2016
Published: 12 June 2016
Sylvy Anscombe
Jeremiah Horrocks Institute
University of Central Lancashire
United Kingdom
Arno Fehm
School of Mathematics
University of Manchester
Oxford Road
M13 9PL
United Kingdom