arXiv Analytics

Sign in

arXiv:1902.06863 [math.LO]AbstractReferencesReviewsResources

Rosser provability and the second incompleteness theorem

Taishi Kurahashi

Published 2019-02-19Version 1

This paper is a continuation of Arai's paper on derivability conditions for Rosser provability predicates. We investigate the limitations of the second incompleteness theorem by constructing three different Rosser provability predicates satisfying several derivability conditions.

Comments: 21 pages
Categories: math.LO
Related articles: Most relevant | Search more
arXiv:2006.01057 [math.LO] (Published 2020-06-01)
How the Law of Excluded Middle Pertains to the Second Incompleteness Theorem and its Boundary-Case Exceptions
arXiv:math/9912165 [math.LO] (Published 1999-12-20)
A continuation of [DjSh:691]
arXiv:1902.00895 [math.LO] (Published 2019-02-03)
A note on derivability conditions

Links

Toolbox