Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals
Bezem, Marc
J. Symbolic Logic, Tome 50 (1985) no. 1, p. 652-660 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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].
Publié le : 1985-09-14
Classification:  
@article{1183741902,
     author = {Bezem, Marc},
     title = {Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals},
     journal = {J. Symbolic Logic},
     volume = {50},
     number = {1},
     year = {1985},
     pages = { 652-660},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1183741902}
}

Bezem, Marc. Strongly Majorizable Functionals of Finite Type: A Model for Barrecursion Containing Discontinuous Functionals. J. Symbolic Logic, Tome 50 (1985) no. 1, pp.  652-660. http://gdmltest.u-ga.fr/item/1183741902/