The following pages link to Bounded functional interpretation (Q2488269):
Displaying 38 items.
- On bounded functional interpretations (Q424545) (← links)
- The bounded functional interpretation of bar induction (Q435192) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Intuitionistic nonstandard bounded modified realisability and functional interpretation (Q1706266) (← links)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
- Weak König's lemma in Herbrandized classical second-order arithmetic (Q2043309) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness (Q2238150) (← links)
- The abstract type of the real numbers (Q2238151) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Light Dialectica Program Extraction from a Classical Fibonacci Proof (Q2864211) (← links)
- A NEW COMPUTATION OF THE Σ-ORDINAL OF KPω (Q2921035) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- A note on the monotone functional interpretation (Q3107344) (← links)
- The bounded functional interpretation of the double negation shift (Q3570171) (← links)
- 2006 Annual Meeting of the Association for Symbolic Logic (Q3594488) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- A Logical Uniform Boundedness Principle for Abstract Metric and Hyperbolic Spaces (Q4917990) (← links)
- BOUNDS FOR INDEXES OF NILPOTENCY IN COMMUTATIVE RING THEORY: A PROOF MINING APPROACH (Q4984866) (← links)
- A Rate of Metastability for the Halpern Type Proximal Point Algorithm (Q4985187) (← links)
- (Q5026396) (← links)
- Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)
- The finitary content of sunny nonexpansive retractions (Q5129245) (← links)
- On Tao's “finitary” infinite pigeonhole principle (Q5190206) (← links)
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)
- Bounded modified realizability (Q5477639) (← links)
- Hardwiring truth in functional interpretations (Q6041142) (← links)
- A proof‐theoretic metatheorem for tracial von Neumann algebras (Q6096718) (← links)
- Stateful Realizers for Nonstandard Analysis (Q6135755) (← links)
