首页/论文/1802.00256

arXiv 1802.002562018-02math.LO

虚数、不变类型和伪p-基闭域

Imaginaries, invariant types and pseudo p-adically closed fields

Samaria Montenegro, Silvain Rideau

备注：: Minor corrections. Acknowledgement of support by ValCoMo (ANR-13-BS01-0006) added

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

在本文中，我们给出了一个非常普遍的标准消除的二义性使用一个抽象的独立关系。我们还研究了在某些行为良好的不变类型的可定义函数的芽。最后，我们将这些工具应用到有界伪p-基闭域上的消元问题。

英文摘要：

In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

有界伪实封闭的域中的虚数

Imaginaries in bounded pseudo real closed fields

本文的主要结果是：若M是有界PRC域，则Th（M）消除了由常数符号展开的环语言中的范畴.

2014-11-27math.LO

完美有界伪代数闭领域中带有有限个独立赋值的虚数

Imaginaries in perfect bounded pseudo algebraically closed fields with finitely many independent valuations

本文证明了在带有有限个独立赋值的完美有界伪代数闭领域中弱消去虚数的性质，结合类型扩展结果与 amalgamation 定理，特别情况下单个赋值时实现完全消去虚数。

2026-04-02math.LO

伪实封闭的域、伪p-基闭域与NTP2

Pseudo real closed field, pseudo p-adically closed fields and NTP2

本文的主要结果是对A.切尔尼科夫岛Kaplan和P. Simon：如果M是PRC域，则Th（M）是NTP_2当且仅当M是有界的。在PpC域的情形下，证明了：若M是有界PpC域，则Th（M）是NTP_2.我们还推广了这一结果，得到了：若M是有界PRC域或PpC域，分别具有正n阶或p-adic赋值，则Th（M）是强负n的.这也允许我们显式地计算类型的负担，并描述分叉。

2016-09-27math.LO

关于自由群中的满度与伪Anosov同胚

On ampleness and pseudo-Anosov homeomorphisms in the free group

本文利用曲面的伪Anosov同胚证明了非交换自由群的一阶理论$T_{fg}$对任何$n\inω$都是$n$ -充要的.这一结果补充了Pillay的工作，Pillay证明了$T_{fg}$是非CM平凡的.证明充裕度的序列是$F_ω$中的本原元序列。我们的结果为Ould Houcine-Tent预印本的主要结果提供了另一种证明。我们还增加了一个附录中，我们提出了一些意见塞拉的文件上的dualaries在无挠的双曲群。特别是，我们给其他透明的证明有关的非消除某些pronunciaries。

2014-09-30math.LO

伪代数闭域中类型的归并及其应用

Amalgamation of types in pseudo-algebraically closed fields and applications

本文研究了无界PAC域，给出了代数闭集上类型的一个合并结果。它讨论了各种应用，例如无Ω PAC字段具有NSOP 3属性。它还包含对PAC字段中的数据库的描述。

2018-12-26math.LO

具有一般导子的拓扑场

Topological fields with a generic derivation

研究了拓扑场的一类驯服的$\mathcal{L}$ -理论$T$及其通过一般导子$δ$的$\mathcal{L}_δ$ -扩张$T_δ^*$.所考虑的拓扑场包括特征为0的Hensel值场和实封闭的场。我们证明了通过一个泛型派生的相关扩展具有$\mathcal{L}$ -开放核心（即，每个$\mathcal{L}_δ$ -可定义的开集都是$\mathcal{L}$ -可定义的），并导出了一个胞腔剖分定理和一个消除冗余的转移结果. $T$的其他驯服性质，如字段排序量词的相对消除，NIP和远端性也转移到$T_δ^*$。作为应用，我们得出相应的稠密对理论的后果。特别地，我们证明了实封闭的域对理论（分别是的$p$ -基本闭域和实封闭的值域）允许远展开。这部分地回答了西蒙的一个问题。

2022-01-24math.ACmath.LO

更多相关论文收起更多论文

伪T-闭域

Pseudo T-closed fields

本文提出伪$T$-闭域的统一框架研究伪代数闭域等不稳定域，验证局部-全局原理，描述多$V$-拓扑域，并给出有界伪$T$-闭域的模型论分类，证明其为有限负担的NTP$_2$域。

2024-07-16math.LO

埃兹菲尔德

Éz fields

设$K$为字段。在我们以前的工作中引入了一个$V$簇$K$的$K$ -点$V(K)$上的凸开拓扑.如果$K$是大的，那么这个开拓扑是非离散的。如果$K$是可分的、实的、$p$ -根闭的，则étale开拓扑分别与Zerkiki、序、赋值拓扑一致。我们表明，存在可定义的完美的大领域的行为良好，就这个拓扑结构：这样的集合是有限工会的étale开子集的Zagliki闭集。这意味着，存在可定义的集合在任意完美的大域享有一些著名的拓扑性质的可定义的集合在代数，实，和$p$ -adically封闭的领域。本文引入并研究了éz域类：$K$是éz域，如果$K$是大的，且每个可定义集是Zebriki闭集的étale开子集的有限并.这应该被看作是一个广义的概念，模型完全性的大型领域。代数闭域、实封闭的、$p$ -adically闭域和有界$\mathrm{PAC}$域都是éz域。(In特殊的伪有限域和有限域的无限代数扩张是ε z。）我们发展的基础理论的可定义集在éz领域。这给出了一个统一的方法，在所有的特征零局部域上的可定义集的理论和一个新的拓扑理论的可定义集的有界$\mathrm{PAC}$领域。我们还表明，一些突出的例子，可能非模型完整的模型理论驯服领域（特征零亨泽尔领域和Frobenius领域）是éz。

2022-10-14math.AGmath.LO