见证dp-rank
Witnessing dp-rank
摘要：
我们证明了在NTP_2理论中，如果p是dp-rank >= κ的依赖型，则这可以由满足p的不可分辨元组序列证明。如果p具有dp-rank无穷大，则这可以由单例证明（在任何理论中）。
英文摘要：
We prove that in NTP_2 theories if p is a dependent type with dp-rank >= κ, then this can be witnessed by indiscernible sequences of tuples satisfying p. If p has dp-rank infinity, then this can be witnessed by singletons (in any theory).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
