sentences:  proved resolution of singularities for surfaces over a field of any characteristic by proving a local uniformization theorem for valuation rings.The hardest case is valuation rings of rank 1 whose valuation group is a nondiscrete subgroup of the rational numbers.The rest of the proof follows Zariski's method.