The Journal of Symbolic Logic

Research Article

Properties and consequences of Thorn-independence

Alf Onshuus

Universidad de Los Andes, Departamento de Matemáticas, Cra. Ie No. 18A-10 Edificio h, Bogotá, Colombia. E-mail: onshuus@gmail.com

Abstract

We develop a new notion of independence (ϸ-independence, read “thorn”-independence) that arises from a family of ranks suggested by Scanlon (ϸ-ranks). We prove that in a large class of theories (including simple theories and o-minimal theories) this notion has many of the properties needed for an adequate geometric structure.

We prove that ϸ-independence agrees with the usual independence notions in stable, supersimple and o-minimal theories. Furthermore, we give some evidence that the equivalence between forking and ϸ-forking in simple theories might be closely related to one of the main open conjectures in simplicity theory, the stable forking conjecture. In particular, we prove that in any simple theory where the stable forking conjecture holds, ϸ-independence and forking independence agree.

(Received May 01 2002)

(Accepted June 28 2005)