Néron desingularization of extensions of valuation rings with an Appendix by Kęstutis Česnavičius

Dorin Popescu

Zariski's local uniformization, a weak form of resolution of singularities, implies that every valuation ring containing $\mathbf{Q}$ is a filtered direct limit of smooth $\mathbf{Q}$-algebr…