Model-theoretic Characterizations of Large Cardinals - Will Boney (2017)