Bounded functional interpretation
From MaRDI portal
Recommendations
Cites work
- A feasible theory for analysis
- A note on Spector's quantifier-free rule of extensionality
- A QUANTITATIVE VERSION OF A THEOREM DUE TO BORWEIN-REICH-SHAFRIR
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation
- Existence and feasibility in arithmetic
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- scientific article; zbMATH DE number 4002093 (Why is no real title available?)
- scientific article; zbMATH DE number 956475 (Why is no real title available?)
- scientific article; zbMATH DE number 1215497 (Why is no real title available?)
- scientific article; zbMATH DE number 1231647 (Why is no real title available?)
- scientific article; zbMATH DE number 1478228 (Why is no real title available?)
- scientific article; zbMATH DE number 2174396 (Why is no real title available?)
- scientific article; zbMATH DE number 1870414 (Why is no real title available?)
- scientific article; zbMATH DE number 1418437 (Why is no real title available?)
- scientific article; zbMATH DE number 3231083 (Why is no real title available?)
- scientific article; zbMATH DE number 3083488 (Why is no real title available?)
- Intuitionistic analysis and Gödel's interpretation
- Intuitionistische Untersuchungen der formalistischen Logik
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
- Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard
- On n-quantifier induction
- On uniform weak König's lemma
- Pointwise hereditary majorization and some applications
- Proof mining in \(L_{1}\)-approximation
- Recursive Functionals and Quantifiers of Finite Types I
- Relative constructivity
- Some logical metatheorems with applications in functional analysis
- Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals
- Subsystems of second order arithmetic
- ÜBER EINE BISHER NOCH NICHT BENÜTZTE ERWEITERUNG DES FINITEN STANDPUNKTES
Cited in
(57)- Injecting uniformities into Peano arithmetic
- Factorization of the Shoenfield-like bounded functional interpretation
- Intuitionistic nonstandard bounded modified realisability and functional interpretation
- A note on non-classical nonstandard arithmetic
- Metastability of the proximal point algorithm with multi-parameters
- Weak König's lemma in Herbrandized classical second-order arithmetic
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness
- The abstract type of the real numbers
- On the removal of weak compactness arguments in proof mining
- Nonstandardness and the bounded functional interpretation
- A herbrandized functional interpretation of classical first-order logic
- A parametrised functional interpretation of Heyting arithmetic
- Light Dialectica program extraction from a classical Fibonacci proof
- A new computation of the \(\Sigma\)-ordinal of \(\mathrm{KP}{\omega}\)
- Proof interpretations with truth
- Proof interpretations and majorizability
- A note on the monotone functional interpretation
- Bounded Dialectica interpretation: categorically
- Light monotone Dialectica methods for proof mining
- Confined modified realizability
- The bounded functional interpretation of the double negation shift
- 2006 Annual Meeting of the Association for Symbolic Logic
- Functional interpretation and inductive definitions
- Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization
- On bounded functional interpretations
- The bounded functional interpretation of bar induction
- Gödel functional interpretation and weak compactness
- A functional functional interpretation
- scientific article; zbMATH DE number 1870123 (Why is no real title available?)
- A logical uniform boundedness principle for abstract metric and hyperbolic spaces
- Bounds for indexes of nilpotency in commutative ring theory: a proof mining approach
- A Rate of Metastability for the Halpern Type Proximal Point Algorithm
- scientific article; zbMATH DE number 7377974 (Why is no real title available?)
- Quantitative results on the multi-parameters proximal point algorithm
- Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic
- On the Herbrand functional interpretation
- The finitary content of sunny nonexpansive retractions
- On Tao's “finitary” infinite pigeonhole principle
- On some semi-constructive theories related to Kripke-Platek set theory
- Bounded modified realizability
- Hardwiring truth in functional interpretations
- A proof‐theoretic metatheorem for tracial von Neumann algebras
- Stateful Realizers for Nonstandard Analysis
- A Herbrandised Interpretation of Semi-Intuitionistic Second-Order Arithmetic with Function Variables
- Herbrandized modified realizability
- Proof mining for the dual of a Banach space with extensions for uniformly Fréchet differentiable functions
- Proof mining and probability theory
- Uniform functional interpretations
- Proof mining and the convex feasibility problem: the curious case of Dykstra's algorithm
- A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications
- A functional interpretation for nonstandard arithmetic
- Bounded functional interpretation and feasible analysis
- Unifying functional interpretations
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic
- Harrington's conservation theorem redone
- Functional interpretations of linear and intuitionistic logic
This page was built for publication: Bounded functional interpretation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2488269)
