Existential 0-definability of henselian valuation rings
Commutative Algebra
2013-07-25 v2 Logic
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.
Keywords
Cite
@article{arxiv.1307.1956,
title = {Existential 0-definability of henselian valuation rings},
author = {Arno Fehm},
journal= {arXiv preprint arXiv:1307.1956},
year = {2013}
}
Comments
minor corrections, Theorem 4.1 strengthened, Remark 4.2 added