Metric valued fields in continuous logic
Sophie Germain salle 1016.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, […]