An Alternative Setting for Resource-Bounded Lob's Theorem 2016-07-06T20:40:10.000Z

Relating Modal Polymorphism to PA with soundness 2015-08-01T14:57:34.000Z

Comment by IAFF-User-169 (Imported-IAFF-User-169) on Relating Modal Polymorphism to PA with soundness · 2015-08-09T14:29:44.000Z · LW · GW

I would like to expand this paper to include how the theory MP + \kappa > n handles the procrastination paradox and similar Lobian tests. Are the results of these tests known for theories PA + n?