Bootstrapping structural properties, via accessible images

We present several new model-theoretic applications of the fact that, under a mild large cardinal assumption, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the results of Baldwin and Boney, namely that in an abstract elementary class (AEC) if... Show more