Forking in simple unstable theories

被引：59

作者：

Kim, B ^{[1
]}

机构：

[1] Math Sci Res Inst, Berkeley, CA 94720 USA

来源：

JOURNAL OF THE LONDON MATHEMATICAL SOCIETY-SECOND SERIES | 1998年 / 57卷

关键词：

D O I：

10.1112/S0024610798005985

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

In [9], Shelah introduced-a class of first order theories, which he called simple, properly containing the class of stable theories. Here we prove for simple theories, (i) the equivalence of forking and dividing, (ii) the symmetry and transivity of forking.

引用

页码：257 / 267

页数：11

共 50 条

[1] Geometry of forking in simple theories
Peretz, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 2006, 71 (01) : 347 - 359
[2] Very simple theories without forking
Newelski, L
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2003, 42 (06) : 601 - 616
[3] Forking and fundamental order in simple theories
Lascar, D
Pillay, A
[J]. JOURNAL OF SYMBOLIC LOGIC, 1999, 64 (03) : 1155 - 1158
[4] Very simple theories without forking
Ludomir Newelski
[J]. Archive for Mathematical Logic, 2003, 42 : 601 - 616
[5] On analyzability in the forking topology for simple theories
Shami, Ziv
[J]. ANNALS OF PURE AND APPLIED LOGIC, 2006, 142 (1-3) : 115 - 124
[6] Theories with equational forking
Junker, M
Kraus, I
[J]. JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (01) : 326 - 340
[7] A dividing line within simple unstable theories
Malliaris, M.
Shelah, S.
[J]. ADVANCES IN MATHEMATICS, 2013, 249 : 250 - 288
[8] FORKING IN VC-MINIMAL THEORIES
Cotter, Sarah
Starchenko, Sergei
[J]. JOURNAL OF SYMBOLIC LOGIC, 2012, 77 (04) : 1257 - 1271
[9] Forking geometry on theories with an independent predicate
Felipe Carmona, Juan
[J]. ARCHIVE FOR MATHEMATICAL LOGIC, 2015, 54 (1-2) : 247 - 255
[10] Forking geometry on theories with an independent predicate
Juan Felipe Carmona
[J]. Archive for Mathematical Logic, 2015, 54 : 247 - 255

← 1 2 3 4 5 →