Unprovability and proving unprovability
From MaRDI portal
Publication:2350971
DOI10.1007/s11225-014-9579-7zbMath1393.03022OpenAlexW2023455409MaRDI QIDQ2350971
Publication date: 26 June 2015
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11225-014-9579-7
Recursive functions and relations, subrecursive hierarchies (03D20) Proof theory in general (including proof-theoretic semantics) (03F03) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items
Axiomatizing provable \(n\)-provability, Honest elementary degrees and degrees of relative provability without the cupping property
Cites Work