Journal of Symbolic Logic
- J. Symbolic Logic
- Volume 71, Issue 1 (2006), 1-21.
Properties and consequences of Thorn-independence
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.
J. Symbolic Logic, Volume 71, Issue 1 (2006), 1-21.
First available in Project Euclid: 22 February 2006
Permanent link to this document
Digital Object Identifier
Mathematical Reviews number (MathSciNet)
Zentralblatt MATH identifier
Onshuus, Alf. Properties and consequences of Thorn-independence. J. Symbolic Logic 71 (2006), no. 1, 1--21. doi:10.2178/jsl/1140641160. https://projecteuclid.org/euclid.jsl/1140641160