Valuations and henselization

On a theorem by de Felipe and Teissier about the comparison of two henselisations in the non-noetherian case

“…The proof technique developed by the authors of [4] is quite sophisticated and uses topological methods, e.g. pseudo-convergent series in ad hoc completions.…”