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?
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?