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, Honest elementary degrees and degrees of relative provability without the cupping property, Unprovability and proving unprovability
Cites Work