Model Theory for a Compact Cardinal - Saharon Shelah (2013)