 Main
Independence Relations in Theories with the Tree Property
 Author(s): HarrisonShermoen, Gwyneth Fae
 Advisor(s): Scanlon, Thomas W
 et al.
Abstract
This thesis investigates theories with the tree property and, in particular, notions of independence in such theories. We discuss the example of the twosorted theory of an infinite dimensional vector space over an algebraically closed field and with a bilinear form (which we refer to as T_∞), examined by Granger in his thesis. Granger notes that there is a wellbehaved notion of independence, which he calls Γnonforking, in this theory, and that it can be viewed as the limit of the nonforking independence in the theories of its finite dimensional subspaces, which are ωstable. He defines a notion of an ``approximating sequence'' of substructures, and shows that Γnonforking in a model of T_∞ corresponds to ``eventual" nonforking in an approximating sequence. We generalize his notion of approximation by substructures, and in the case of a theory whose large models can be approximated in this way, define a notion of independence which is the ``limit'' of the nonforking independence in the theories of the approximating substructures. We show that if the approximating substructures have simple theories, the limit independence relation satisfies invariance, monotonicity, base monotonicity, transitivity, normality, extension, finite character, and symmetry. Under certain additional assumptions, limit independence also satisfies antireflexivity and the Independence Theorem over algebraically closed sets.
We also consider the twosorted theory of infinitely many crosscutting equivalence relations, T^*_{feq}. We give a proof, explaining in detail the argument of Shelah and Usvyatsov for Theorem 2.1 in [ShelahUsvyatsov'08], that T^*_{feq} does not have SOP_2 (equivalently, TP_1). The argument makes use of a theorem of Kim and Kim, from [KimKim'11], along with several other lemmas involving tree indiscernibility.
Main Content
Enter the password to open this PDF file:













