Research Training Network in Model Theory
Publications > Preprint server > Preprint Number 1363

Preprint Number 1363

Previous Next Preprint server

1363. Will Boney and Sebastien Vasey
Structural Logic and Abstract Elementary Classes with Intersection

Submission date: 5 January 2018


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.

Last updated: March 23 2021 10:20 Please send your corrections to: