Vol. 10, No. 3, 2016

 Recent Issues
 The Journal About the Journal Editorial Board Subscriptions 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
The existential theory of equicharacteristic henselian valued fields

Sylvy Anscombe and Arno Fehm

Vol. 10 (2016), No. 3, 665–683
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 ${\mathbb{F}}_{q}\left(\left(t\right)\right)$.

However, your active subscription may be available on Project Euclid at
https://projecteuclid.org/ant

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

or by using our contact form.