The following pages link to (Q4215634):
Displaying 40 items.
- Light Dialectica program extraction from a classical Fibonacci proof (Q2864211) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- Proof interpretations with truth (Q3066291) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- Well Quasi-orders and the Functional Interpretation (Q3295153) (← links)
- Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Q3305635) (← links)
- Local stability of ergodic averages (Q3402200) (← links)
- Godel's interpretation of intuitionism (Q3422401) (← links)
- Measure theory and higher order arithmetic (Q3450084) (← links)
- Recursion in Higher Types and Resource Bounded Turing Machines (Q3507448) (← links)
- Functional interpretation and inductive definitions (Q3655246) (← links)
- Functional operations in frege's<i>begriffsschrift</i> (Q3784037) (← links)
- INTERRELATION BETWEEN WEAK FRAGMENTS OF DOUBLE NEGATION SHIFT AND RELATED PRINCIPLES (Q4692078) (← links)
- (Q4986736) (← links)
- Nets and reverse mathematics (Q4995602) (← links)
- (Q5015363) (← links)
- EFFECTIVE INSEPARABILITY, LATTICES, AND PREORDERING RELATIONS (Q5027663) (← links)
- (Q5028422) (← links)
- Countable sets versus sets that are countable in reverse mathematics (Q5037215) (← links)
- ON THE UNCOUNTABILITY OF (Q5052009) (← links)
- A MARRIAGE OF BROUWER’S INTUITIONISM AND HILBERT’S FINITISM I: ARITHMETIC (Q5082051) (← links)
- Interpreting weak Kőnig's lemma in theories of nonstandard arithmetic (Q5108095) (← links)
- A note on equality in finite‐type arithmetic (Q5108108) (← links)
- COMPUTABILITY THEORY, NONSTANDARD ANALYSIS, AND THEIR CONNECTIONS (Q5207560) (← links)
- On Some Semi-constructive Theories Related to Kripke–Platek Set Theory (Q5214791) (← links)
- Monoidal-closed categories of tree automata (Q5220183) (← links)
- On the mathematical and foundational significance of the uncountable (Q5223120) (← links)
- Functional Interpretations of Intuitionistic Linear Logic (Q5902221) (← links)
- A note on Spector's quantifier-free rule of extensionality (Q5931215) (← links)
- Logical problems of functional interpretations (Q5957851) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
- A note on the finitization of Abelian and Tauberian theorems (Q6096323) (← links)
- Explorations in Subexponential Non-associative Non-commutative Linear Logic (Q6196498) (← links)
- On the Herbrand Functional Interpretation (Q6330328) (← links)
- Exploring the abyss in Kleene's computability theory (Q6594829) (← links)
- The game semantics of game theory (Q6612787) (← links)
- On the logical and computational properties of the Vitali covering theorem (Q6614040) (← links)
- On robust theorems due to Bolzano, Weierstrass, Jordan, and Cantor (Q6642876) (← links)
- Witnessing flows in arithmetic (Q6646013) (← links)
