Switch to: References

Add citations

You must login to add citations.
  1. Stability Results Assuming Tameness, Monster Model, and Continuity of Nonsplitting.Samson Leung - 2024 - Journal of Symbolic Logic 89 (1):383-425.
    Assuming the existence of a monster model, tameness, and continuity of nonsplitting in an abstract elementary class (AEC), we extend known superstability results: let $\mu>\operatorname {LS}(\mathbf {K})$ be a regular stability cardinal and let $\chi $ be the local character of $\mu $ -nonsplitting. The following holds: 1.When $\mu $ -nonforking is restricted to $(\mu,\geq \chi )$ -limit models ordered by universal extensions, it enjoys invariance, monotonicity, uniqueness, existence, extension, and continuity. It also has local character $\chi $. This generalizes (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • The kim–pillay theorem for abstract elementary categories.Mark Kamsma - 2020 - Journal of Symbolic Logic 85 (4):1717-1741.
    We introduce the framework of AECats, 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 forms an AECat. In particular, we find applications in positive logic and continuous logic: the category 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 (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  • Nsop-Like Independence in Aecats.Mark Kamsma - forthcoming - Journal of Symbolic Logic:1-34.
    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) (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation