论文标题
全球有价值的功能字段：存在闭合
Globally valued function fields: existential closure
论文作者
论文摘要
这些注释构成了一个关于领域逻辑的联合研究项目的一部分，其估值与产品公式有关。我们定义此类结构并将其命名{\ em具有全球价值字段}（GVFS）。 该文本主要旨在证明{\ em $ k（t）^{alg} $上的规范GVF结构是存在的关闭}。这可以看出，说一个具有杰出曲线类别的品种{\ em是GVF语言中公式的良好近似值，就像一个多样性接近代数封闭磁场的理论ACF的公式一样。
These notes form part of a joint research project on the logic of fields with many valuations, connected by a product formula. We define such structures and name them {\em globally valued fields} (GVFs). This text aims primarily at a proof that {\em the canonical GVF structure on $k(t)^{alg}$ is existentially closed}. This can be read as saying that a variety {\em with a distinguished curve class} is a good approximation for a formula in the language of GVFs, in the same way that a variety is close to a formula for the theory ACF of algebraically closed fields.
