MODNET
Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 607

Preprint Number 607

Previous Next Preprint server


607. Arno Fehm
Existential 0-definability of henselian valuation rings
E-mail:

Submission date: 8 July 2013

Abstract:

Recently, Anscombe and Koenigsmann gave an existential 0-definition of the ring of formal power series F[[t]] in its quotient field in the case where F is finite. We extend their method in several directions to give general definability results for henselian valued fields with finite or pseudo-algebraically closed residue fields.

Mathematics Subject Classification: 03C60, 12L12, 12E30, 12J10

Keywords and phrases:

Full text arXiv 1307.1956: pdf, ps.


Last updated: August 6 2013 10:58 Please send your corrections to: