The eventual categoricity conjecture for abstract elementary classes asserts that, for every infinite cardinal 
, there is a cardinal 
such that every abstract elementary class 
with 
categorical in some 
is categorical in every 
. Categoricity includes existence and
uniqueness up to isomorphism.
Eventual Categoricity Conjecture
See also
Abstract Elementary Class, Beth Number, Continuum Hypothesis, Model Theory, Zermelo-Fraenkel Set TheoryExplore with Wolfram|Alpha
References
Boney, W. and Vasey, S. "A Survey on Tame Abstract Elementary Classes." In Beyond First Order Model Theory (Ed. J. Iovino). Boca Raton, FL: Chapman & Hall/CRC, pp. 353-427, 2017. https://doi.org/10.1201/9781315368078-13.Cite this as:
Weisstein, Eric W. "Eventual Categoricity Conjecture." From MathWorld--A Wolfram Resource. https://mathworld.wolfram.com/EventualCategoricityConjecture.html