Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
Marc Bezem · Journal of Symbolic Logic · 1985
Abstract In this paper a model for barrecursion is presented. It has as a novelty that it contains discontinuous functionals. The model is based on a concept called strong majorizability. This concept is a modification of Howard's majorizability notion; see [T, p. 456].