Skip to content

Accessible Images Revisited

Research output: Contribution to journalArticle

  • Andrew D Brooke-Taylor
  • Jiri Rosicky
Original languageEnglish
Pages (from-to)1317-1327
Number of pages11
JournalProceedings of the American Mathematical Society
Volume145
Issue number3
Early online date18 Nov 2016
DOIs
DateAccepted/In press - 6 Mar 2016
DateE-pub ahead of print - 18 Nov 2016
DatePublished (current) - Mar 2017

Abstract

We extend and improve the result of Makkai and Paré that the powerful image of any accessible functor F is accessible, assuming there exists a sufficiently large strongly compact cardinal. We reduce the required large cardinal assumption to the existence of Lμ,ω-compact cardinals for sufficiently large μ, and also show that under this assumption the λ-pure powerful image of F is accessible. From the first of these statements, we obtain that the tameness of every Abstract Elementary Class follows from a weaker large cardinal assumption than was previously known. We provide two ways of employing the large cardinal assumption to prove each result — one by a direct ultraproduct construction and one using the machinery of elementary embeddings of the set- theoretic universe.

Download statistics

No data available

Documents

Documents

  • Full-text PDF (accepted author manuscript)

    Rights statement: This is the accepted author manuscript (AAM). The final published version (version of record) is available online via American Mathematical Society at https://doi.org/10.1090/proc/13190. Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 297 KB, PDF-document

DOI

View research connections

Related faculties, schools or groups