Uniform functional interpretations
From MaRDI portal
Cites work
- scientific article; zbMATH DE number 5360217 (Why is no real title available?)
- scientific article; zbMATH DE number 4104952 (Why is no real title available?)
- scientific article; zbMATH DE number 1215497 (Why is no real title available?)
- scientific article; zbMATH DE number 2174396 (Why is no real title available?)
- scientific article; zbMATH DE number 3009954 (Why is no real title available?)
- scientific article; zbMATH DE number 6307933 (Why is no real title available?)
- scientific article; zbMATH DE number 3216998 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- scientific article; zbMATH DE number 3248792 (Why is no real title available?)
- scientific article; zbMATH DE number 3289430 (Why is no real title available?)
- A functional interpretation for nonstandard arithmetic
- A herbrandized functional interpretation of classical first-order logic
- A parametrised functional interpretation of Heyting arithmetic
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Bounded functional interpretation
- Bounded functional interpretation and feasible analysis
- Computational Interpretations of Analysis via Products of Selection Functions
- Confined modified realizability
- Dependent choice, `quote' and the clock
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
- Functional Interpretations of Intuitionistic Linear Logic
- Functional interpretations of linear and intuitionistic logic
- Handbook of proof theory
- History of constructivism in the 20th century
- Hybrid Functional Interpretations
- Hybrid functional interpretations of linear and intuitionistic logic
- Implicative algebras: a new foundation for realizability and forcing
- Intuitionistische Untersuchungen der formalistischen Logik
- Local stability of ergodic averages
- Logical Approaches to Computational Barriers
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- New effective moduli of uniqueness and uniform a priori estimates for constants of strong unicity by logical analysis of known proofs in best approximation theory
- On the Borel-Cantelli Lemmas, the Erdős-Rényi Theorem, and the Kochen-Stone Theorem
- On the interpretation of intuitionistic number theory
- On various negative translations
- On weak completeness of intuitionistic predicate logic
- Opérateurs de mise en mémoire et traduction de Gödel. (Storage operators and Gödel translation)
- Proof interpretations with truth
- Proof mining in \(L_{1}\)-approximation
- Selection functions, bar recursion and backward induction
- Sequential games and optimal strategies
- Shoenfield is Gödel after Krivine
- Some logical metatheorems with applications in functional analysis
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- The Dialectica interpretation of first-order classical affine logic
- The Herbrand functional interpretation of the double negation shift
- The approximate fixed point property in product spaces
- Uniform Heyting arithmetic
- Unifying functional interpretations
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
- Über das Prinzip tertium non datur.
This page was built for publication: Uniform functional interpretations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6897661)
