MODNET
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
E-mail:

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.


Last updated: January 15 2018 16:22 Please send your corrections to: