On simple extensions generated by key polynomials

Nikita Dwivedi, Anuj Bishnoi

Let $K^h$ be a Henselization of a valued field $(K,v),$ $w$ a valuation-transcendental extension of $v$ to $K[x],$ and $\varphi$ a key polynomial for $w$. In this paper, we prove that if…