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

Preprint Number 1429

Previous Next Preprint server

1429. Sebastien Vasey
The categoricity spectrum of large abstract elementary classes

Submission date: 10 May 2018


The categoricity spectrum of a class of structures is the collection of cardinals in which the class has a single model up to isomorphism. Assuming that cardinal exponentiation is injective (a weakening of the generalized continuum hypothesis, GCH), we give a complete list of the possible categoricity spectrums of an abstract elementary class with amalgamation and arbitrarily large models. Specifically, the categoricity spectrum is either empty, an end segment starting below the Hanf number, or a closed interval consisting of finite successors of the Löt;wenheim-Skolem-Tarski number (there are examples of each type). We also prove (assuming a strengthening of the GCH) that the categoricity spectrum of an abstract elementary class with no maximal models is either bounded or contains an end segment. This answers several longstanding questions around Shelah's categoricity conjecture.

Mathematics Subject Classification: 03C48 (Primary), 03C45, 03C52, 03C55, 03C75, 03E05 (Secondary)

Keywords and phrases:

Full text arXiv 1805.04068: pdf, ps.

Last updated: May 17 2018 07:59 Please send your corrections to: