English

Quasiminimal abstract elementary classes

Logic 2018-04-04 v7

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.

Keywords

Cite

@article{arxiv.1611.07380,
  title  = {Quasiminimal abstract elementary classes},
  author = {Sebastien Vasey},
  journal= {arXiv preprint arXiv:1611.07380},
  year   = {2018}
}

Comments

17 pages

R2 v1 2026-06-22T17:01:00.046Z