Premium
Forking in Simple Unstable Theories
Author(s) -
Kim Byunghan
Publication year - 1998
Publication title -
journal of the london mathematical society
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 1.441
H-Index - 62
eISSN - 1469-7750
pISSN - 0024-6107
DOI - 10.1112/s0024610798005985
Subject(s) - simple (philosophy) , class (philosophy) , equivalence (formal languages) , mathematics , pure mathematics , symmetry (geometry) , order (exchange) , computer science , theoretical physics , physics , geometry , epistemology , artificial intelligence , philosophy , finance , economics
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.