Pages that link to "Item:Q5450521"
From MaRDI portal
The following pages link to Applied Proof Theory: Proof Interpretations and Their Use in Mathematics (Q5450521):
Displaying 50 items.
- Reverse formalism 16 (Q2054114) (← links)
- Quantitative translations for viscosity approximation methods in hyperbolic spaces (Q2059976) (← links)
- Parallelizations in Weihrauch reducibility and constructive reverse mathematics (Q2106590) (← links)
- Quantitative coding and complexity theory of compact metric spaces (Q2106606) (← links)
- On false Heine/Borel compactness principles in proof mining (Q2117782) (← links)
- On preserving the computational content of mathematical proofs: toy examples for a formalising strategy (Q2117791) (← links)
- An algorithmic version of Zariski's lemma (Q2117812) (← links)
- Quantitative analysis of a subgradient-type method for equilibrium problems (Q2129632) (← links)
- Between Turing and Kleene (Q2151416) (← links)
- On extracting variable Herbrand disjunctions (Q2157604) (← links)
- Abstract strongly convergent variants of the proximal point algorithm (Q2162534) (← links)
- Rates of convergence for iterative solutions of equations involving set-valued accretive operators (Q2197861) (← links)
- On the independence of premiss axiom and rule (Q2204366) (← links)
- Characterising Brouwer's continuity by bar recursion on moduli of continuity (Q2219099) (← links)
- Intuitionistic fixed point logic (Q2220485) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 8--14, 2020 (hybrid meeting) (Q2232317) (← links)
- Convergence theorems of a modified iteration process for generalized nonexpansive mappings in hyperbolic spaces (Q2234532) (← 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)
- Toward a clarity of the extreme value theorem (Q2254563) (← links)
- Effective results on compositions of nonexpansive mappings (Q2260374) (← links)
- Using Ramsey's theorem once (Q2274133) (← links)
- Pincherle's theorem in reverse mathematics and computability theory (Q2304540) (← links)
- Moduli of regularity and rates of convergence for Fejér monotone sequences (Q2317680) (← links)
- A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces (Q2320042) (← links)
- On the removal of weak compactness arguments in proof mining (Q2324564) (← links)
- The strength of compactness in computability theory and nonstandard analysis (Q2326415) (← links)
- On Goodman realizability (Q2330510) (← links)
- Nonstandardness and the bounded functional interpretation (Q2344622) (← links)
- Quantitative results for Halpern iterations of nonexpansive mappings (Q2348521) (← links)
- Ceres in intuitionistic logic (Q2363201) (← links)
- A proof-theoretic bound extraction theorem for \(\mathrm{CAT}(\kappa)\)-spaces (Q2363506) (← links)
- The strength of countable saturation (Q2402967) (← links)
- Equivalence of bar induction and bar recursion for continuous functions with continuous moduli (Q2417961) (← links)
- Bounds on Kuhfittig's iteration schema in uniformly convex hyperbolic spaces (Q2442995) (← links)
- Classical consequences of continuous choice principles from intuitionistic analysis (Q2443117) (← links)
- Quantitative image recovery theorems (Q2451917) (← links)
- An application of proof mining to nonlinear iterations (Q2453072) (← links)
- Formalising mathematics -- in praxis; a mathematician's first experiences with Isabelle/HOL and the why and how of getting started (Q2657827) (← links)
- A uniform betweenness property in metric spaces and its role in the quantitative analysis of the ``lion-man'' game (Q2658486) (← links)
- A parametrised functional interpretation of Heyting arithmetic (Q2659105) (← links)
- A universal algorithm for Krull's theorem (Q2672666) (← links)
- Quantitative inconsistent feasibility for averaged mappings (Q2673538) (← links)
- A nonstandard approach to asymptotic fixed point theorems (Q2680373) (← links)
- A finitization of Littlewood's Tauberian theorem and an application in Tauberian remainder theory (Q2683776) (← links)
- Bit-complexity of classical solutions of linear evolutionary systems of partial differential equations (Q2693688) (← links)
- On modified Halpern and Tikhonov-Mann iterations (Q2697004) (← links)
- An approximate Herbrand's theorem and definable functions in metric structures (Q2888633) (← links)
- On Spector's bar recursion (Q2910991) (← links)
- Term extraction and Ramsey's theorem for pairs (Q2915896) (← links)
