A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is
Let K be an LS( K)-short abstract elementary class and assume more than the existence of a monster model (amalgamation over sets and arbitrarily large models). Suppose K is categorical in some μ>LS( K), then it is categorical in all μ'≥μ. Our result removes the successor requirement of μ made by Grossberg-VanDieren, at the cost of using shortness instead of tameness; and of using amalgamation over sets instead of over models. It also removes the primes requirement by Vasey which assumesarXiv:2203.08956v1 fatcat:racxdwyzsfe5zcro7h2wov2pry