Model theoretic properties of metric valued fields

We study model theoretic properties of valued fields (equipped with a real-valued multiplicative valuation), viewed as metric structures in continuous first order logic. For technical reasons we prefer to consider not the valued field $(K,|{\cdot}|)$ directly, but rather the associated projective spaces $K\bP^n$, as bounded metric structures. We show that the class of (projective spaces over) metric valued fields is elementary, with theory $MVF$, and that the projective spaces $\bP^n$ and $\bP^m$ are biïnterpretable for every $n,m \geq 1$. The theory $MVF$ admits a model completion $ACMVF$, the theory of algebraically closed metric valued fields (with a non trivial valuation). This theory is strictly stable (even up to perturbation). Similarly, we show that the theory of real closed metric valued fields, $RCMVF$, is the model companion of the theory of formally real metric valued fields, and that it is dependent.

Data and Resources

Additional Info

Field Value
Source https://hal.science/hal-00407559
Author Ben Yaacov, Itaï
Maintainer CCSD
Last Updated May 11, 2026, 04:55 (UTC)
Created May 11, 2026, 04:55 (UTC)
Identifier hal-00407559
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Institut Camille Jordan (ICJ) ; École Centrale de Lyon (ECL) ; Université de Lyon-Université de Lyon-Université Claude Bernard Lyon 1 (UCBL) ; Université de Lyon-Institut National des Sciences Appliquées de Lyon (INSA Lyon) ; Université de Lyon-Institut National des Sciences Appliquées (INSA)-Institut National des Sciences Appliquées (INSA)-Université Jean Monnet - Saint-Étienne (UJM) ; Université Jean Monnet (EPSCPE) (UJM EPE)-Université Jean Monnet (EPSCPE) (UJM EPE)-Centre National de la Recherche Scientifique (CNRS)
creator Ben Yaacov, Itaï
date 2009-05-11T00:00:00
harvest_object_id a3fd6b35-608a-46a8-9013-7dcbd504bbc2
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2026-04-23T00:00:00
relation info:eu-repo/semantics/altIdentifier/arxiv/0907.4560
set_spec type:UNDEFINED