Compact and majorizable functionals of finite type

DOI10.2307/2275030zbMath0669.03023OpenAlexW2127143921MaRDI QIDQ3822153

Marc Bezem

Publication date: 1989

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

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

zbMATH Keywords

type structurecompact functionalsHEOmajorizable functionals

Mathematics Subject Classification ID

Functionals in proof theory (03F10) Higher-type and set recursion theory (03D65)

Cites Work

• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals

This page was built for publication: Compact and majorizable functionals of finite type