Search

• < Previous
• 1
• Next >

Hanf numbers via accessible images

We present several new model-theoretic applications of the fact that, under the assumption that there exists a proper class of almost strongly compact cardinals, the powerful image of any accessible functor is accessible. In particular, we generalize to the context of accessible categories the&nbsp;[&hellip;]