Résume | By work of Itaï Ben Yaacov complete valued fields with value groups embedded in the real numbers can be viewed as metric structures in continuous logic. For technical reasons one has to consider the projective line over such a field rather than the field itself.
In this talk we introduce the above setting and give a classification of the complete theories of metric valued fields in equicharacteristic 0 in terms of their residue field and value group. This can also be seen as an approximate Ax-Kochen-Ershov principle. If time permits, as a second result we give a negative answer to a question of Ben Yaacov on the existence of a model companion for metric valued fields enriched with an isometric automorphism. This is joint work with Martin Hils. |