Strongly majorizable functionals of finite type: a model for bar recursion containing discontinuous functionals (1985)

by M Bezem
Venue:The Journal of Symbolic Logic