Definition of "toroidalization"

Unlike Ax-Kochen's proof, ours does not use any notions from mathematical logic and is based on weak toroidalization of morphisms.

2016, Jan Denef, “Geometric proofs of theorems of Ax-Kochen and Ersov”, in arXiv‎