FORKING AND DIVIDING IN NTP2 THEORIES

被引：47

作者：

Chernikov, Artem ^{[1
]}

Kaplan, Itay ^{[2
]}

机构：

[1] Univ Lyon 1, CNRS, Inst Camille Jordan, UMR5208, F-69622 Villeurbanne, France

[2] Univ Konstanz, Fachbereich Math & Stat, D-78457 Constance, Germany

来源：

JOURNAL OF SYMBOLIC LOGIC | 2012年 / 77卷 / 01期

关键词：

D O I：

10.2178/jsl/1327068688

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：1 / 20

页数：20

共 19 条

[1]

Adler H., 2005, Explanation of independence

[2]

[Anonymous], MORLEY SEQUENC UNPUB

[3]

[Anonymous], NOTE DOLICHS PAPER

[4]

[Anonymous], THESIS HEBREW U JERU

[5]

[Anonymous], STRICT NONF IN PRESS

[6]

[Anonymous], ARCH MATH L IN PRESS

[7]

[Anonymous], NIP INVARIANT UNPUB

[8]

[Anonymous], NONFORKING IN PRESS

[9] Lascar strong types in some simple theories [J].

Buechler, S .

JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (02) :817-824

[10] Forking and independence in O-minimal theories [J].

Dolich, A .

JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (01) :215-240

← 1 2 →