Elementary equivalence and codimension in p-adic fields. L. Bélair; L. Van den Dries — 1988 Manuscripta mathematica