Effective discontinuity and a characterisation of the superjump

DOI10.2307/2274221zbMath0589.03030OpenAlexW2140873833MaRDI QIDQ3717038

John P. Hartley

Publication date: 1985

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2274221

zbMATH Keywords

effective discontinuityfunctional embodying number quantificationhigher-type recursiontype-2 objecttype-3 objects

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Related Items (2)

Splittings and disjunctions in reverse mathematics ⋮ On the mathematical and foundational significance of the uncountable

Cites Work

• Recursion on the countable functionals
• Unnamed Item

This page was built for publication: Effective discontinuity and a characterisation of the superjump