Pages that link to "Item:Q4032661"
From MaRDI portal
The following pages link to Effective bounds from ineffective proofs in analysis: An application of functional interpretation and majorization (Q4032661):
Displaying 23 items.
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- A complexity analysis of functional interpretations (Q557798) (← links)
- Effective moduli from ineffective uniqueness proofs. An unwinding of de La Vallée Poussin's proof for Chebycheff approximation (Q688431) (← links)
- Pointwise hereditary majorization and some applications (Q805612) (← links)
- Bounded functional interpretation and feasible analysis (Q866559) (← links)
- Harrington's conservation theorem redone (Q948908) (← links)
- Uniform Heyting arithmetic (Q1772775) (← links)
- Proof mining in \(L_{1}\)-approximation (Q1874241) (← links)
- Things that can and things that cannot be done in PRA (Q1971796) (← links)
- Bounded functional interpretation (Q2488269) (← links)
- Strongly uniform bounds from semi-constructive proofs (Q2498902) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
- On the computational content of the Bolzano-Weierstraß Principle (Q3053232) (← links)
- Light monotone Dialectica methods for proof mining (Q3184220) (← links)
- A Clausal Approach to Proof Analysis in Second-Order Logic (Q3605531) (← links)
- 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 (Q4293278) (← links)
- THE HERBRAND FUNCTIONAL INTERPRETATION OF THE DOUBLE NEGATION SHIFT (Q4977221) (← links)
- (Q5028422) (← 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)
- Classical provability of uniform versions and intuitionistic provability (Q5258475) (← links)
- On uniform weak König's lemma (Q5957854) (← links)
- On computational properties of Cauchy problems generated by accretive operators (Q6148761) (← links)
