Construction of the Henselization of a valued field (Q1570369)

The aim of the paper is to present an explicit construction of the henselization of a valued field and to prove its constructive validity. A classic theorem states that for every valued field \((K,V)\) there exists an algebraically closed valued extension \((K^{ac},V^{ac})\) such that \(V^{ac}\cap K=V.\) But there exists no constructive proof of the theorem as well as no consructive method to obtain the algebraic closure of a valued field. Still there exists a constructive version of the theorem [\textit{M. Coste, H. Lombardi} and \textit{M. F. Roy}, Dynamical method in algebra: Effective Nullstellensätze, preprint (1996)]. It is known that inside the valued algebraic closure \((K^{ac},V^{ac}))\) of a valued field there exists the henselization \((K^H,V^H)\) of \((K,V)\) where \(V^H=V^{ac}\cap K^H.\) The authors use Hensel's lemma in terms of Newton's polygon to build constructively the henselization of \((K,V).\)