A revision-theoretic analysis of the arithmetical hierarchy
From MaRDI portal
Publication:1344437
DOI10.1305/NDJFL/1094061861zbMath0835.03008OpenAlexW1977193383MaRDI QIDQ1344437
Publication date: 22 April 1996
Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1305/ndjfl/1094061861
revision theoryarithmetical hierarchymany-one reducibilityrecursive functionalarithmetical functional
Recursive functions and relations, subrecursive hierarchies (03D20) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items (5)
On revision operators ⋮ Proof theory for functional modal logic ⋮ Guest editors' introduction ⋮ On Gupta-Belnap Revision Theories of Truth, Kripkean Fixed Points, and The Next Stable Set ⋮ What's in a function?
This page was built for publication: A revision-theoretic analysis of the arithmetical hierarchy
