This paper derives various locality properties of Galois types from large cardinals. It uses this to, in particular, prove that Shelah’s Categoricity Conjecture follows from class many strong compacts.
The final section “Further Work” is made obsolete by the below paper Large Cardinal Axioms from Tameness in AECs (joint with Spencer Unver). In particular, many of the implications in this paper are in fact equivalences when “almost” is added to the large cardinal.
There is a typo in Definition 2.3.(6): it should read “…with LS(K) = \lambda…”