The distributivity property of finite intersections of valuation rings
The algebraically closed field of Nash functions is introduced. It is shown that this field is an algebraic closure of the field of rational functions in several variables. We give conditions for the irreducibility of polynomials with Nash coefficients, a description of factors of a polynomial over the field of Nash functions and a theorem on continuity of factors.