Solvable elimination of ramification in extensions of discretely valued fields

An analog of the Abhyankar lemma is proved for an arbitrary finite separable extensions of discretely valued fields with a functional residue field. Supported by RFFR grants Nos. 96-01-01675 and 96-01-01678, and by RF Goskomvuz grant No. 2. Translated fromAlgebra i Logika, Vol. 37, No. 1, pp. 63–87., January–February, 1998.