[论文解读] Model theoretic properties of metric valued fields

Yaacov, Itaï Ben|arXiv (Cornell University)|Jul 27, 2009

Advanced Topology and Set Theory参考文献 4被引用 3

一句话总结

本文确立了度量赋值域理论（通过射影空间处理无界性）是初等理论，记为MVF，其模型补全为ACMVF（代数闭度量赋值域），且为严格稳定。此外，本文还表明实闭度量赋值域理论（RCMVF）是依赖的，并承认消去量词，从而在连续逻辑中对这些结构提供了完整的模型论分类。

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 $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\\"interpretable 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.

研究动机与目标

• 通过使用射影空间作为有界结构来克服无界性问题，发展度量赋值域的模型论框架。
• 证明度量赋值域上的射影空间类是初等的，拥有完整的一阶理论MVF。
• 证明ACMVF（代数闭度量赋值域）理论是MVF理论的模型补全，且为严格稳定。
• 确立RCMVF（实闭度量赋值域）理论是依赖的，并承认消去量词。
• 通过证明不同维数的射影空间之间具有互 interpretable 性，统一值域的模型论。

提出的方法

• 通过度量赋值域的射影空间 $\mathbf{P}^n$ 表示度量赋值域，以处理无界性问题，将其视为连续一阶逻辑中的有界度量结构。
• 使用嵌入有界化过程（emboundment process）从无界域构造有界结构，将其与射影直线 $\mathbf{P}^1$ 关联。
• 为 $\mathbf{P}^n$ 引入一个关系语言，以避免在射影空间上出现未定义的域运算，重点聚焦于赋值和序谓词。
• 在语言 $\mathcal{L}_{o\mathbf{P}^1}$ 中，利用实闭包的唯一性及前后系统（back-and-forth systems）证明 $\mathbf{P}^1$ 的消去量词。
• 通过证明足够饱和的模型可容纳无限前后系统，建立模型完全性与稳定性。
• 定义语言 $\mathcal{L}_{o\mathbf{P}}$，其中包含一个谓词 $\langle\!\langle \cdot \rangle\!\rangle$，以统一捕捉所有射影空间中的符号与赋值信息。

实验结果

研究问题

• RQ1 当通过射影空间表示时，度量赋值域类是否可在连续一阶逻辑中被公理化为初等类？
• RQ2 代数闭度量赋值域理论（ACMVF）是否为度量赋值域理论（MVF）的模型补全？
• RQ3 ACMVF理论是否为严格稳定？这对其模型论复杂性有何含义？
• RQ4 实闭度量赋值域理论（RCMVF）是否为依赖的？它是否承认消去量词？
• RQ5 对所有 $n,m \geq 1$，射影空间 $\mathbf{P}^n$ 与 $\mathbf{P}^m$ 是否互 interpretable？

主要发现

• 度量赋值域上的射影空间类是初等的，拥有完整的的一阶理论，记为MVF。
• ACMVF理论（MVF的模型补全）是严格稳定的，表明其具有良好的模型论结构。
• RCMVF理论是依赖的，意味着它不具有树性质，因此表现出良好的模型论行为。
• 在语言 $\mathcal{L}_{o\mathbf{P}^1}$ 中，$\mathbf{P}^1$ 的理论承认消去量词，从而可完整理解可定义集。
• 对所有 $n,m \geq 1$，射影空间 $\mathbf{P}^n$ 与 $\mathbf{P}^m$ 是互 interpretable 的，表明其在不同维数下具有统一的模型论结构。
• RCMVF理论是形式实度量赋值域理论的模型伴，且在语言 $\mathcal{L}_{o\mathbf{P}}$ 中承认消去量词。