Good points and constructive resolution of singularities (Q1273531)

In this paper the authors present a new algorithm of resolution of singularities over fields of characteristic zero, making use of invariants that come from Abhyankar's good point theory as follows: \(\text{(A1}_s)\) They require that the exceptional locus of \(W_s\to W_0\) be \(E_s=\{H_1,\dots,H_s\}\), a union of regular hypersurfaces having only normal crossings. \(\text{(A2}_s)\) If \(X_s\neq\emptyset\), an assignment of a function \(\psi_{{\mathcal P}_s}:X_s\to(I,\leq)\), uppersemi-continuous and taking only finitely different values, such that \(\underline{\text{Max}} \psi_{{\mathcal P}_s}(\subseteq X_s)\) is regular and closed in \(W_s\) and has only normal crossings with \(E_\infty\). (B) For each pair \((X_0,W_0)\) there is an index \(s\geq 0\) so that \(\underline{\text{Max}} \psi_{{\mathcal P}_s}=X_s\). (C) With the setting of (B), if \(X_0\) is reduced, then \(X_s\) is regular (having normal crossings with \(E_{s}\) by \((A2_s))\). The last condition (C) is that of a so-called ``embedded'' desingularization of \(X\subseteq W\). Note that \((\text{A1}_s)\) is empty if \(s=0\), and for \(s<0\) guaranteed by \((\text{A2}_{s-1})\). This is an algorithm for resolution (with values at \((I,\leq))\), namely an assignment with the conditions \((A),(B)\) and \((C)\).