1: \begin{abstract}

2: We extend Greenberg's strong approximation theorem to schemes of finite presentation over valuation rings with arbitrary value group. As an application, we prove a closed image theorem (in the strong topology on rational points) for proper morphisms of varieties over valued fields.\smallskip\\

3: {\slshape 2010 Mathematics Subject Classification:}  13B40, %Étale and flat extensions; Henselization; Artin approximation

4: 13F30, %valuation rings

5: 12L10, %Ultraproducts

6: 14G27. %Other nonalg. closed ground fields

7: \end{abstract}

8: