Abstract
We investigate the structure of the degrees of provability, which measure the proof-theoretic strength of statements asserting the totality of given computable functions. The degrees of provability can also be seen as an extension of the investigation of relative consistency statements for first-order arithmetic (which can be viewed as Π10 -statements, whereas statements of totality of computable functions are Π20 -statements); and the structure of the degrees of provability can be viewed as the Lindenbaum algebra of true Π20 -statements in first-order arithmetic. Our work continues and greatly expands the second author’s paper on this topic by answering a number of open questions from that paper, comparing three different notions of a jump operator and studying jump inversion as well as the corresponding high/low hierarchies, investigating the structure of true Π10 -statements as a substructure, and connecting the degrees of provability to escape and domination properties of computable functions.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
