arXiv:1902.06863 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords second incompleteness theorem, derivability conditions, arais paper, rosser provability predicates satisfying, continuation Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset