Concepedia

Publication | Closed Access

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

114

Citations

0

References

1985

Year

Abstract

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].