A model-theoretic transfer theorem for henselian valued fields. Serban S. Basarab — 1979 Journal für die reine und angewandte Mathematik
Approximation Properties and Existential Completeness for Ring Morphisms. S. Basarab; V. Nica Manuscripta mathematica