Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals-Reference-Cited by-同舟云学术

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

Published:1985-09 Issue:3 Volume:50 Page:652-660
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Bezem Marc

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)

Subject

Logic,Philosophy

Reference2 articles.

1. Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

2. Provably recursive functionals of analysis: a consistency proof of analysis by an extension of principles formulated in current intuitionistic mathematics

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