Submission date: 5 January 2018

Abstract:

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 models of a universal theory in structural logic. This generalizes Tarski's syntactic characterization of universal classes.

Mathematics Subject Classification:

Keywords and phrases:

Full text arXiv 1801.01908: pdf, ps.