Let $k$ be a field. We say that resolution of singularities holds over $k$ in dimension $n$ if for every quasi-projective variety $Y$ over $k$ of dimension $n$ there exists a regular variety $\tilde{Y}$ over $k$ and a projective morphism $\tilde{Y}\to Y$ which is an isomorphism over the regular locus of $Y$.