The existential theory of equicharacteristic henselian valued fields

Cite This

Files in this item

Files Size Format View

There are no files associated with this item.

ANSCOMBE, Will, Arno FEHM, 2015. The existential theory of equicharacteristic henselian valued fields

@unpublished{Anscombe2015exist-31209, title={The existential theory of equicharacteristic henselian valued fields}, year={2015}, author={Anscombe, Will and Fehm, Arno} }

2015-06-19T07:44:03Z The existential theory of equicharacteristic henselian valued fields Fehm, Arno 2015 Anscombe, Will 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<sub>q</sub>((t)). eng Fehm, Arno Anscombe, Will 2015-06-19T07:44:03Z

This item appears in the following Collection(s)

Search KOPS


Browse

My Account