Structural logic and abstract elementary classes with intersections
Will Boney, Sebastien Vasey · Bulletin of the Polish Academy of Sciences Mathematics · 2019
We give a syntactic characterization of abstract elementary classes (AECs) closed under intersections using a new logic with a quantifier for isomorphism types that we call structural logic: we prove that AECs with intersections correspond to classes of m