Easy proofs of some theorems of Ax-Kochen-Ershov

Ax-Kochen and Ershov showed that under certain conditions, a Henselian valued field inherits model-theoretic properties from its residue field and value group. Emulating earlier arguments of Abraham Robinson, I will sketch a new proof of such results, and raise the question as to whether the many-sorted interpolation theorems of Feferman could simplify the argument.

Last modified: Fri Jan 7 00:15:36 PST 2000