Finite burden in multivalued algebraically closed fields.
Finite burden in multivalued algebraically closed fields.
复制标题
多值代数闭域中的有限负担。
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Will Johnson
中科院分区：
文献类型：
--
作者：
Will Johnson
证明了代数闭域的任意n个赋值环的扩张是NTP 2，且实际上有有限负担.然而，除非估值环形成一个链条，否则它不能成为NIP。此外，代数闭域的不完全理论与$n$赋值环是可判定的。
We prove that an expansion of an algebraically closed field by $n$ arbitrary valuation rings is NTP${}_2$, and in fact has finite burden. It fails to be NIP, however, unless the valuation rings form a chain. Moreover, the incomplete theory of algebraically closed fields with $n$ valuation rings is decidable.