全部 标题 作者
关键词 摘要

OALib Journal期刊
ISSN: 2333-9721
费用:99美元

查看量下载量

相关文章

更多...
Mathematics  2012 

Witnessing dp-rank

Full-Text   Cite this paper   Add to My Lib

Abstract:

We prove that in NTP_2 theories if p is a dependent type with dp-rank >= \kappa, 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).

Full-Text

Contact Us

service@oalib.com

QQ:3279437679

WhatsApp +8615387084133