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 69 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions;Transactions of the American Mathematical Society;2024-08-16

2. EFFECTIVE METASTABILITY FOR A METHOD OF ALTERNATING RESOLVENTS;FIXED POINT THEOR-RO;2024

3. Logical metatheorems for accretive and (generalized) monotone set-valued operators;Journal of Mathematical Logic;2023-05-22

4. Proof theory and non-smooth analysis;Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences;2023-04-10

5. A proof‐theoretic metatheorem for tracial von Neumann algebras;Mathematical Logic Quarterly;2023-02