On Izumi's theorem on comparison of valuations

Mohammad Moghaddam

We prove that the sequence of MacLane key polynomials constructed in \cite{Mac1} and \cite{Sp2} for a valuation extension $(K,\nu )\subset (K(x),\mu )$ is finite, provided that both $\nu$…