Pointwise hereditary majorization and some applications

DOI10.1007/BF01794980zbMath0729.03031OpenAlexW2039141944MaRDI QIDQ805612

Ulrich Kohlenbach

Publication date: 1992

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01794980

zbMATH Keywords

intuitionistic arithmeticclassical arithmeticgeneralized fan-rulepointwise majorization of primitive recursive functionalspointwise version of the Howard-Bezem notion of hereditary majorization

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30)

Related Items

Relative constructivity ⋮ Light monotone Dialectica methods for proof mining ⋮ Some logical metatheorems with applications in functional analysis ⋮ Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization ⋮ The FAN principle and weak König's lemma in Herbrandized second-order arithmetic ⋮ Logical metatheorems for abstract spaces axiomatized in positive bounded logic ⋮ Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation ⋮ Bounded functional interpretation ⋮ Proof interpretations with truth ⋮ Unnamed Item ⋮ Confined modified realizability ⋮ Functional interpretation of Aczel's constructive set theory ⋮ On the arithmetical content of restricted forms of comprehension, choice and general uniform boundedness ⋮ Classical provability of uniform versions and intuitionistic provability

Cites Work

• Unnamed Item
• Unnamed Item
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
• Extensional Gödel functional interpretation. A consistency proof of classical analysis
• Recursive Functionals and Quantifiers of Finite Types I
• ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
• Spielquantorinterpretation unstetiger Funktionale der höheren Analysis
• Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
• Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
• Note on the fan theorem
• Some models for intuitionistic finite type arithmetic with fan functional
• Gödelsche Funktionalinterpretation für Eine Erweiterung der Klassischen Analysis