Journal of Symbolic Logic 71 (1):1 - 21 (2006)
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
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
Simple Theories.Byunghan Kim & Anand Pillay - 1996 - Annals of Pure and Applied Logic 88 (2):149-164.
Citations of this work BETA
On Lovely Pairs of Geometric Structures.Alexander Berenstein & Evgueni Vassiliev - 2010 - Annals of Pure and Applied Logic 161 (7):866-878.
Pseudo Real Closed Fields, Pseudo P-Adically Closed Fields and NTP2.Samaria Montenegro - 2017 - Annals of Pure and Applied Logic 168 (1):191-232.
Superrosy Dependent Groups Having Finitely Satisfiable Generics.Clifton Ealy, Krzysztof Krupiński & Anand Pillay - 2008 - Annals of Pure and Applied Logic 151 (1):1-21.
Expansions of o-Minimal Structures by Dense Independent Sets.Alfred Dolich, Chris Miller & Charles Steinhorn - 2016 - Annals of Pure and Applied Logic 167 (8):684-706.
Thorn Independence in the Field of Real Numbers with a Small Multiplicative Group.Alexander Berenstein, Clifton Ealy & Ayhan Günaydın - 2007 - Annals of Pure and Applied Logic 150 (1):1-18.
Similar books and articles
Theories with Equational Forking.Markus Junker & Ingo Kraus - 2002 - Journal of Symbolic Logic 67 (1):326-340.
Geometry of Forking in Simple Theories.Assaf Peretz - 2006 - Journal of Symbolic Logic 71 (1):347 - 359.
Forking and Independence in o-Minimal Theories.Alfred Dolich - 2004 - Journal of Symbolic Logic 69 (1):215-240.
Discouraging Results for Ultraimaginary Independence Theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Independence for Full Conditional Measures, Graphoids and Bayesian Networks.Teddy Seidenfeld - unknown
Independence Accounts of Substance and Substantial Parts.Patrick Toner - 2011 - Philosophical Studies 155 (1):37 - 43.
A Geometric Introduction to Forking and Thorn-Forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
Automorphism-Invariant Measures on ℵ0-Categorical Structures Without the Independence Property.Douglas E. Ensley - 1996 - Journal of Symbolic Logic 61 (2):640 - 652.
Sets of Probability Distributions, Independence, and Convexity.Fabio G. Cozman - 2012 - Synthese 186 (2):577-600.
Forking and Fundamental Order in Simple Theories.Daniel Lascar & Anand Pillay - 1999 - Journal of Symbolic Logic 64 (3):1155-1158.
On the Properties of Conditional Independence.Wolfgang Spohn - 1994 - In Paul Humphreys (ed.), Patrick Suppes, Scientific Philosopher Vol. 1: Probability and Probabilistic Causality. Kluwer Academic Publishers.
Added to index2010-08-24
Total downloads12 ( #374,803 of 2,164,576 )
Recent downloads (6 months)1 ( #347,948 of 2,164,576 )
How can I increase my downloads?