Forking and Dividing in NTP2 theories
Forking and Dividing in NTP2 theories
复制标题
NTP2 理论中的分叉和划分
DOI:
10.2178/jsl/1327068688
复制
发表时间:
2012
期刊:
影响因子:
--
通讯作者:
Itay Kaplan
中科院分区:
文献类型:
--
作者:
A. Chernikov;Itay Kaplan
Abstract We prove that in theories without the tree property of the second kind (which include dependent and simple theories) forking and dividing over models are the same, and in fact over any extension base. As an application we show that dependence is equivalent to bounded non-forking assuming NTP2.
影响因子:
2.6
作者:
Pillay A
通讯作者:
Pillay A