Extending a valuation centered in a local domain to the formal completion

F. J. Herrera Govantes, M. A. Olalla Acosta, M. Spivakovsky +1

Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by…