The Kim-Pillay theorem for Abstract Elementary Categories

Research output: Contribution to journalArticle

Open Access permissions






Organisational units


We introduce the framework of AECats (abstract elementary categories), generalising 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 characterises simple theories by the properties dividing independence has. We prove a version of the Kim-Pillay theorem for AECats with the amalgamation property, generalising the first-order version and existing versions for positive logic.


Original languageEnglish
JournalJournal of Symbolic Logic
Early online date30 Oct 2020
Publication statusE-pub ahead of print - 30 Oct 2020


    Research areas

  • dividing, accessible category, simple theory, abstract elementary class, independence relation, abstract elementary category

View graph of relations

ID: 184900776

Related by journal
  1. On wide Aronszajn trees in the presence of MA

    Research output: Contribution to journalArticle

  2. Iterating Symmetric Extensions

    Research output: Contribution to journalArticle

  3. A forcing notion collapsing \aleph_3 and preserving all other cardinals

    Research output: Contribution to journalArticle

  4. Measuring club-sequences together with the continuum large

    Research output: Contribution to journalArticle