Journal of Mathematical Logic 14 (2):1450008 (2014)

We investigate the notions of strict independence and strict non-forking, and establish basic properties and connections between the two. In particular, it follows from our investigation that in resilient theories strict non-forking is symmetric. Based on this study, we develop notions of weight which characterize NTP2, dependence and strong dependence. Many of our proofs rely on careful analysis of sequences that witness dividing. We prove simple characterizations of such sequences in resilient theories, as well as of Morley sequences which are witnesses. As a by-product we obtain information on types co-dominated by generically stable types in dependent theories. For example, we prove that every Morley sequence in such a type is a witness.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1142/s0219061314500081
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 70,008
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

A Geometric Introduction to Forking and Thorn-Forking.Hans Adler - 2009 - Journal of Mathematical Logic 9 (1):1-20.
On Dp-Minimal Ordered Structures.Pierre Simon - 2011 - Journal of Symbolic Logic 76 (2):448 - 460.
Forking and Dividing in NTP₂ Theories.Artem Chernikov & Itay Kaplan - 2012 - Journal of Symbolic Logic 77 (1):1-20.
On Dp-Minimality, Strong Dependence and Weight.Alf Onshuus & Alexander Usvyatsov - 2011 - Journal of Symbolic Logic 76 (3):737 - 758.
Classification Theory and the Number of Nonisomorphic Models.S. Shelah - 1982 - Journal of Symbolic Logic 47 (3):694-696.

View all 8 references / Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Logical Independence in Quantum Logic.Miklós Rédei - 1995 - Foundations of Physics 25 (3):411-422.
Discouraging Results for Ultraimaginary Independence Theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
Independence of Irrelevant Alternatives Revisited.Susumu Cato - 2014 - Theory and Decision 76 (4):511-527.
Karp Complexity and Classes with the Independence Property.M. C. Laskowski & S. Shelah - 2003 - Annals of Pure and Applied Logic 120 (1-3):263-283.
Measurement Independence, Parameter Independence and Non-Locality.Iñaki San Pedro - 2014 - European Journal for Philosophy of Science 4 (3):369-374.
Counterfactuals as Strict Conditionals.Andrea Iacona - 2015 - Disputatio 7 (41):165-191.
Natural Deduction Based Upon Strict Implication for Normal Modal Logics.Claudio Cerrato - 1994 - Notre Dame Journal of Formal Logic 35 (4):471-495.
Properties and Consequences of Thorn-Independence.Alf Onshuus - 2006 - Journal of Symbolic Logic 71 (1):1 - 21.
On a Classification of Theories Without the Independence Property.Viktor Verbovskiy - 2013 - Mathematical Logic Quarterly 59 (1-2):119-124.
A Defense of Strict Finitism.J. P. Van Bendegem - 2012 - Constructivist Foundations 7 (2):141-149.


Added to PP index

Total views
12 ( #809,029 of 2,505,176 )

Recent downloads (6 months)
1 ( #416,705 of 2,505,176 )

How can I increase my downloads?


My notes