Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
复制标题
有限类型的强可大化泛函：包含不连续泛函的条递归模型
DOI：
10.2307/2274319
复制
发表时间：
1985
影响因子：
0.6
通讯作者：
M. Bezem
中科院分区：
文献类型：
--
作者：
M. Bezem
摘要 本文提出了一种递归模型。它的新颖之处在于它包含不连续泛函。该模型基于称为强主要化的概念。这个概念是霍华德主要化概念的修改；参见[T，p.11]。 456]。
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].