Abstract
AbstractIn 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].
Publisher
Cambridge University Press (CUP)
Cited by
67 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Logical metatheorems for accretive and (generalized) monotone set-valued operators;Journal of Mathematical Logic;2023-05-22
2. Proof theory and non-smooth analysis;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10
3. A proof‐theoretic metatheorem for tracial von Neumann algebras;Mathematical Logic Quarterly;2023-02
4. The abstract type of the real numbers;Archive for Mathematical Logic;2021-04-23
5. A Rate of Metastability for the Halpern Type Proximal Point Algorithm;Numerical Functional Analysis and Optimization;2021-02-10