A jump operator on honest subrecursive degrees

DOI10.1007/s001530050086zbMath0899.03031OpenAlexW2035245701MaRDI QIDQ1128175

Lars Kristiansen

Publication date: 10 August 1998

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s001530050086

zbMATH Keywords

latticehigh degreeshonest elementary degreeslow degreesjump operator

Mathematics Subject Classification ID

Other degrees and reducibilities in computability and recursion theory (03D30)

Related Items (7)

Streamlined subrecursive degree theory ⋮ ON SHAVRUKOV’S NON-ISOMORPHISM THEOREM FOR DIAGONALIZABLE ALGEBRAS ⋮ Semi-honest subrecursive degrees and the collection rule in arithmetic ⋮ 2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000 ⋮ Honest elementary degrees and degrees of relative provability without the cupping property ⋮ Degrees of relative provability ⋮ Sub-computabilities

This page was built for publication: A jump operator on honest subrecursive degrees