Independence characterization for sufficient reducts
Independence characterization for sufficient reducts
Let be a theory in a signature , with reducts to a sufficient collection of subsignatures . Assume that is a monster model of , that and every are simple (respectively rosy), and that and denote forking (respectively thorn-forking) independence. Let be algebraically closed in the sense of .
Independence characterization conjecture. Then
The claim seeks to characterize independence in the full theory using independence in all reducts. The source gives related one-way results and notes that the converse is immediate in stable theories, while the general simple or rosy case remains conjectural.
Sources & referencesView supporting material
Primary source
Alice Medvedev, “QACFA”, arXiv:1508.06007 (2015).
Progress summary
Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.
Solutions 0
Sign in to submit a solution.
No solutions have been posted yet.