在NIP理论中构造不可分辨序列
Naming an indiscernible sequence in NIP theories
摘要：
在这篇短文中，我们证明了，如果我们在一个依赖理论中为一个稠密的完全不可分辨序列添加谓词，那么结果仍然是依赖的。这回答了鲍德温和贝内迪克特的一个问题，并意味着每一个不稳定的相关理论都有一个解释线性序的相关展开。
英文摘要：
In this short note we show that if we add predicate for a dense complete indiscernible sequence in a dependent theory then the result is still dependent. This answers a question of Baldwin and Benedikt and implies that every unstable dependent theory has a dependent expansion interpreting linear order.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
