Search

The classes stable, simple, and NSOP $_1$ in the stability hierarchy for first-order theories can be characterised by the existence of a certain independence relation. For each of them there is a canonicity theorem: there can be at most one nice independence relation. Independence in stable and simple first-order theories must come from forking and dividing (which then coincide), and for NSOP $_1$ theories it must come from Kim-dividing. We generalise this work to the framework of Abstract Elementary Categories (AECats) with the amalgamation property. These are a certain kind of accessible category generalising the category of (subsets of) models of some theory. We prove canonicity theorems for stable, simple, and NSOP $_1$ -like independence relations. The stable and simple cases have been done before in slightly different setups, but we provide them here as well so that we can recover part of the original stability hierarchy. We also provide abstract definitions for each of these independence relations as what we call isi-dividing, isi-forking, and long Kim-dividing. [ABSTRACT FROM AUTHOR]

We introduce the framework of AECats (abstract elementary categories), generalizing both the category of models of some first-order theory and the category of subsets of models. Any AEC and any compact abstract theory ("cat", as introduced by Ben-Yaacov) forms an AECat. In particular, we find applications in positive logic and continuous logic: the category of (subsets of) models of a positive or continuous theory is an AECat. The Kim–Pillay theorem for first-order logic characterizes simple theories by the properties dividing independence has. We prove a version of the Kim–Pillay theorem for AECats with the amalgamation property, generalizing the first-order version and existing versions for positive logic. [ABSTRACT FROM AUTHOR]

Let ${\cal M}$ be ternary, homogeneous and simple. We prove that if ${\cal M}$ is finitely constrained, then it is supersimple with finite SU-rank and dependence is k -trivial for some k < ω and for finite sets of real elements. Now suppose that, in addition, ${\cal M}$ is supersimple with SU-rank 1. If ${\cal M}$ is finitely constrained then algebraic closure in ${\cal M}$ is trivial. We also find connections between the nature of the constraints of ${\cal M}$ , the nature of the amalgamations allowed by the age of ${\cal M}$ , and the nature of definable equivalence relations. A key method of proof is to "extract" constraints (of ${\cal M}$) from instances of dividing and from definable equivalence relations. Finally, we give new examples, including an uncountable family, of ternary homogeneous supersimple structures of SU-rank 1. [ABSTRACT FROM AUTHOR]