IAFF-User-169

An Alter­na­tive Set­ting for Re­source-Bounded Lob’s Theorem

• IAFF-User-169 9 Aug 2015 14:29 UTC

  LW: 2 AF: 1

  AF

  on: Re­lat­ing Mo­dal Poly­mor­phism to PA with soundness

  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?

Re­lat­ing Mo­dal Poly­mor­phism to PA with soundness