Kanamori's 'The Higher Infinite' establishes that weak compactness is a Π¹₁-indescribability propert...