Model theoretic properties of metric valued fields

DOI10.1017/JSL.2014.16MaRDI QIDQ2933668zbMATH OpenOpenAlexFDO

Authors Itaï Ben Yaacov

Publication date 5 December 2014

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.4560

zbMATH Keywords

metric structurereal closed fieldvalued field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Model theory of ordered structures; o-minimality (03C64) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90) Valued fields (12J10) Model theory of fields (12L12)

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,|cdot|)$ directly, but rather the associated projective spaces $$, 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 $$ and $$ are bi"interpretable for every $n,mgeq1$. 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.

Recommendations

• scientific article; zbMATH DE number 6315710
• Model theory: around valued fields and dependent theories. Abstracts from the workshop held January 3rd -- January 9th, 2010
• Valued fields, metastable groups
• Some model theory for almost real closed fields
• Model theory for metric structures

Cites work

• Continuous and random Vapnik-Chervonenkis classes
• Continuous first order logic and local stability
• Continuous first order logic for unbounded metric structures
• scientific article; zbMATH DE number 3309311 (Why is no real title available?)
• On perturbations of continuous structures
• Topometric spaces and perturbations of metric structures

Cited in

(2)

• Model theory: around valued fields and dependent theories. Abstracts from the workshop held January 3rd -- January 9th, 2010
• Unbounded actions of metric groups and continuous logic

This page was built for publication: Model theoretic properties of metric valued fields

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2933668)