伪实闭域、伪 p-进闭域与 NTP2
逻辑
2016-10-12 v2
摘要
本文的主要结果是对 A. Chernikov、I. Kaplan 和 P. Simon 提出的猜想 5.1 给出了肯定回答：若 M 是一个 PRC 域，则 Th(M) 是 NTP_2 当且仅当 M 是有界的。对于 PpC 域的情况，我们证明了若 M 是一个有界 PpC 域，则 Th(M) 是 NTP_2。我们还推广了这一结果，得出若 M 是一个恰好具有 n 个序或分别为 n 个 p-进赋值的有界 PRC 或 PpC 域，则 Th(M) 是 burden 为 n 的强理论。这也使我们能够显式计算类型的 burden，并描述分叉 (forking)。
引用
@article{arxiv.1411.7654,
title = {Pseudo real closed field, pseudo p-adically closed fields and NTP2},
author = {Samaria Montenegro},
journal= {arXiv preprint arXiv:1411.7654},
year = {2016}
}