Quasiminimal abstract elementary classes

DOI10.1007/S00153-017-0570-7MaRDI QIDQ6280030arXivFDO

Authors Sebastien Vasey

Publication date 22 November 2016

Published in arXiv

Full work available at URL https://doi.org/10.1007/S00153-017-0570-7

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Abstract elementary classes and related topics (03C48) Properties of classes of models (03C52)

arXiv classification

math.LO

Abstract: We propose the notion of a quasiminimal abstract elementary class (AEC). This is an AEC satisfying four semantic conditions: countable L"owenheim-Skolem-Tarski number, existence of a prime model, closure under intersections, and uniqueness of the generic orbital type over every countable model. We exhibit a correspondence between Zilber's quasiminimal pregeometry classes and quasiminimal AECs: any quasiminimal pregeometry class induces a quasiminimal AEC (this was known), and for any quasiminimal AEC there is a natural functorial expansion that induces a quasiminimal pregeometry class. We show in particular that the exchange axiom is redundant in Zilber's definition of a quasiminimal pregeometry class.

This page was built for publication: Quasiminimal abstract elementary classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6280030)