On the structure of the degrees of relative provability
From MaRDI portal
Publication:2351755
DOI10.1007/s11856-015-1182-8zbMath1367.03076MaRDI QIDQ2351755
Joseph S. Miller, Uri Andrews, Mingzhong Cai, Steffen Lempp, David E. Diamondstone
Publication date: 26 June 2015
Published in: Israel Journal of Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11856-015-1182-8
03D20: Recursive functions and relations, subrecursive hierarchies
03F03: Proof theory in general (including proof-theoretic semantics)
03D30: Other degrees and reducibilities in computability and recursion theory
Related Items
ON THE INEVITABILITY OF THE CONSISTENCY OPERATOR, ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS, Honest elementary degrees and degrees of relative provability without the cupping property, Unprovability and proving unprovability
Cites Work