William J. Mitchell: The sharp for the Chang model is small. Arch. Math. Log. 56(7-8): 935-982 (2017)