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

by M A Bezem
Venue:J. Symb. Logic