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

by M Bezem
Venue:Journal of Symbolic Logic