Unprovability and proving unprovability

DOI10.1007/S11225-014-9579-7MaRDI QIDQ2350971zbMATH OpenOpenAlexFDO

Authors Mingzhong Cai

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

zbMATH Keywords

provability degreesunprovability

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20) Other degrees and reducibilities in computability and recursion theory (03D30) Proof theory in general (including proof-theoretic semantics) (03F03)

Recommendations

• PROVING UNPROVABILITY
• Brief introduction to unprovability
• On Godel Sentences and What They Say
• scientific article; zbMATH DE number 2190191
• scientific article; zbMATH DE number 517075

Cites work

• Defining the Turing jump
• Degrees of relative provability
• On the structure of the degrees of relative provability

Cited in

(8)

• Axiomatizing provable \(n\)-provability
• Brief introduction to unprovability
• Undecidability in Anti-Realism
• Honest elementary degrees and degrees of relative provability without the cupping property
• Computer Science Logic
• scientific article; zbMATH DE number 2190191 (Why is no real title available?)
• scientific article; zbMATH DE number 2236687 (Why is no real title available?)
• PROVING UNPROVABILITY

This page was built for publication: Unprovability and proving unprovability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2350971)