scientific article; zbMATH DE number 1984266

MaRDI QIDQ4428700zbMATH OpenFDO

Authors Ulrich Berger

Publication date 22 September 2003

zbMATH Keywords

minimisationpartial continuous higher type functionalsrecursion

Mathematics Subject Classification ID

Higher-type and set recursion theory (03D65)

Recommendations

• Recursion on the partial continuous functionals
• The hereditary partial effective functionals and recursion theory in higher types
• Axiomatic recursion theory and the continuous functionals
• scientific article; zbMATH DE number 4037847
• Feasibly continuous type-two functionals

Cited in

(3)

• Closing the gap between the continuous functionals and recursion in \(^3E\)
• scientific article; zbMATH DE number 19761 (Why is no real title available?)
• The recursion hierarchy for PCF is strict

This page was built for publication:

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