Vol. 10, No. 3, 2016

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

Volume 14
Issue 2, 275–550
Issue 1, 1–274

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
Editorial Login
Ethics Statement
ISSN: 1944-7833 (e-only)
ISSN: 1937-0652 (print)
Author Index
To Appear
Other MSP Journals
This article is available for purchase or by subscription. See below.
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)).

PDF Access Denied

However, your active subscription may be available on Project Euclid at

We have not been able to recognize your IP address as that of a subscriber to this journal.
Online access to the content of recent issues is by subscription, or purchase of single articles.

Please contact your institution's librarian suggesting a subscription, for example by using our journal-recom­mendation form. Or, visit our subscription page for instructions on purchasing a subscription.

You may also contact us at contact@msp.org
or by using our contact form.

Or, you may purchase this single article for USD 40.00:

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