A note on residually transcendental prolongations with uniqueness property (Q675806)

Let \(K(x)\) be a simple transcendental extension of a field \(K\) and let \(v\) be a (Krull) valuation on \(K\) with value group \(G_v\) and residue field \(K_v\). Let \(w\) be a valuation of \(K(x)\) extending \(v\) such that the residue field of \(w\) is a transcendental extension of \(k_v\). Such a valuation \(w\) is called a residually transcendental prolongation of \(v\). \(w\) is said to have the uniqueness property if there exists \(t\in K(x) \backslash K\) such that (i) \(w\) coincides with the Gaussian valuation \(v^t\) of the field \(K(t)\) defined on \(K[t]\) by \(v^t (\sum_ia_it^i)= \min_i \{v(a_i)\}\) and (ii) \(w\) is the only valuation of \(K(x)\) which extends \(v^t\). The author proves the following result: Let \(v\) be a valuation of any rank of a field \(K\). Each residually transcendental prolongation of \(v\) to \(K(x)\) has the uniqueness property if and only if the completion of \((K,v)\) is henselian.