The following pages link to (Q4215634):
Displaying 50 items.
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Light Dialectica revisited (Q636373) (← links)
- The consistency of arithmetic (Q666895) (← links)
- Functional interpretations of feasibly constructive arithmetic (Q685962) (← links)
- Non-determinism in Gödel's system \(T\) (Q693050) (← links)
- Categorical relationships between Goguen sets and ``two-sided'' categorical models of linear logic (Q705522) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Primitive recursive selection functions for existential assertions over abstract algebras (Q941429) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Functional interpretations of linear and intuitionistic logic (Q964504) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- Injecting uniformities into Peano arithmetic (Q1006608) (← links)
- Complexity-theoretic hierarchies induced by fragments of Gödel's \(T\) (Q1015376) (← links)
- Functional interpretation of Aczel's constructive set theory (Q1577478) (← links)
- Refining the taming of the reverse mathematics zoo (Q1633897) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- To be or not to be constructive, that is not the question (Q1688964) (← links)
- Proof mining and effective bounds in differential polynomial rings (Q1711923) (← links)
- Concepts and aims of functional interpretations: Towards a functional interpretation of constructive set theory (Q1868168) (← links)
- Proof mining in \(L_{1}\)-approximation (Q1874241) (← links)
- Reverse mathematics of topology: dimension, paracompactness, and splittings (Q1981984) (← links)
- Herbrand's theorem as higher order recursion (Q1987218) (← 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)
- Reverse formalism 16 (Q2054114) (← links)
- An indeterminate universe of sets (Q2054115) (← links)
- A new model construction by making a detour via intuitionistic theories. III: Ultrafinitistic proofs of conservations of \(\Sigma_1^1\) collection (Q2111109) (← links)
- Formally computing with the non-computable (Q2117773) (← links)
- Representations and the foundations of mathematics (Q2134273) (← links)
- Betwixt Turing and Kleene (Q2151412) (← links)
- Dialectica logical principles (Q2151422) (← links)
- Splittings and disjunctions in reverse mathematics (Q2176407) (← links)
- The FAN principle and weak König's lemma in Herbrandized second-order arithmetic (Q2195636) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- A herbrandized functional interpretation of classical first-order logic (Q2402958) (← links)
- The strength of countable saturation (Q2402967) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Notes on constructive negation (Q2500818) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- Lifting proofs from countable to uncountable mathematics (Q2672667) (← links)
- Dialectica principles via Gödel doctrines (Q2682930) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- Functional interpretations. From the Dialectica interpretation to interpretations of classical and constructive set theory (Q2836179) (← links)
