Abstract
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, |·|) directly, but rather the associated projective spaces KPn, 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 Pn and are Pm biinterpretable for every n, m ≥ 1. The theory MVF admits a model completion ACMVF, the theory of algebraically closed metric valued fields (with a nontrivial 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.
Publisher
Cambridge University Press (CUP)
Reference12 articles.
1. Continuous and random Vapnik-Chervonenkis classes
2. On perturbations of Hilbert spaces and probability algebras with a generic automorphism;Yaacov;Journal of Logic and Analysis,2009
3. Continuous first order logic and local stability
4. [1] Adler Hans , An introduction to theories without the independence property . Archive for Mathematical Logic, to appear.
5. [7] Yaacov Itaï Ben , Definability of groups in א0-stable metric structures, this Journal, vol. 75 (2010), no. 3, pp. 817–840, doi:10.2178/jsl/1278682202, arXiv:0802.4286.
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献