Let be a universal class with categorical in a regular with arbitrarily large models, and let be the class of all for which there is such that. We prove that is totally categorical (i.e., ξ‐categorical for all ) and for. This result is partially stronger and partially weaker than a related result due to Vasey. In addition to small differences in our categoricity transfer results, we provide a shorter and simpler proof. In the end we prove the main theorem of (...) this paper: the models of are essentially vector spaces (or trivial, i.e., disintegrated). (shrink)

We propose the notion of a quasiminimal abstract elementary class. This is an AEC satisfying four semantic conditions: countable Löwenheim–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, 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. (shrink)