– 5 4 0 . ▁▁ ▁S . ▁Sim pson ▁( 1 9 9 9 ), ▁Sub system s ▁of ▁second - order ▁arithmetic , ▁Springer . ▁▁ ▁E . ▁Spe cker ▁( 1 9 4 9 ), ▁" N icht ▁kon stru ktiv ▁be weis bare ▁S ätze ▁der ▁Analysis " ▁ ▁Journal ▁of ▁Symbol ic ▁Log ic , ▁v . ▁ 1 4 , ▁pp . ▁ 1 4 5 – 1 5 8 . ▁ ▁Category : Comput able ▁analysis <0x0A> </s> ▁Gl ory ▁By ▁Honor ▁XI : ▁The ▁Un break able ▁Hope ▁was ▁the ▁ 1 1 th ▁Gl ory ▁By ▁Honor ▁professional ▁wrest ling ▁internet ▁pay - per - view ▁event ▁produced ▁by ▁Ring ▁of ▁Honor ▁( RO H ). ▁It ▁took ▁place ▁on ▁October ▁ 1 3 , ▁ 2 0 1 2 ▁at ▁the ▁International ▁Centre ▁in ▁Mississ aug a , ▁Ontario . ▁ ▁Story lines ▁Gl ory ▁By ▁Honor ▁XI : ▁The ▁Un break able ▁Hope ▁featured ▁professional ▁wrest ling ▁matches ▁which ▁involved ▁different ▁wrest lers ▁from ▁pre - ex isting ▁script ed ▁fe ud s , ▁plots , ▁and ▁story lines ▁that ▁played ▁out ▁on ▁RO H ' s ▁television ▁programs . ▁Wrest lers ▁port rayed ▁villa ins ▁or ▁hero es ▁as ▁they ▁followed ▁a ▁series ▁of ▁events ▁that ▁built ▁t ension ▁and ▁cul min ated ▁in ▁a ▁wrest ling ▁match ▁or ▁series ▁of ▁matches . ▁ ▁Results ▁ ▁See ▁also ▁ ▁Professional ▁wrest ling ▁in ▁Canada ▁ ▁References ▁ ▁External ▁links ▁Ring ▁of