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.
- Effective results on a fixed point algorithm for families of nonlinear mappings (Q331050) (← links)
- Existence and convergence of fixed points for mappings of asymptotically nonexpansive type in uniformly convex W-hyperbolic spaces (Q362422) (← links)
- Program extraction for 2-random reals (Q365682) (← links)
- Effective metastability for modified Halpern iterations in CAT(0) spaces (Q385667) (← links)
- Fluctuations, effective learnability and metastability in analysis (Q392289) (← links)
- Asymptotic behavior of averaged and firmly nonexpansive mappings in geodesic spaces (Q393214) (← links)
- The equivalence of bar recursion and open recursion (Q400424) (← links)
- The Bolzano-Weierstrass theorem is the jump of weak Kőnig's lemma (Q408156) (← links)
- A quantitative nonlinear strong ergodic theorem for Hilbert spaces (Q413215) (← links)
- The bounded functional interpretation of bar induction (Q435192) (← links)
- Primitive recursion and the chain antichain principle (Q435242) (← links)
- A constructive analysis of learning in Peano arithmetic (Q450942) (← links)
- Delimited control operators prove double-negation shift (Q450950) (← links)
- Gödel functional interpretation and weak compactness (Q450951) (← links)
- Rates of convergence and metastability for abstract Cauchy problems generated by accretive operators (Q472316) (← links)
- Effective asymptotic regularity for one-parameter nonexpansive semigroups (Q499259) (← links)
- On the quantitative asymptotic behavior of strongly nonexpansive mappings in Banach and geodesic spaces (Q503233) (← links)
- Bar recursion over finite partial functions (Q515562) (← links)
- On the asymptotic behavior of odd operators (Q549798) (← links)
- Effective rates of convergence for Lipschitzian pseudocontractive mappings in general Banach spaces (Q555039) (← links)
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann (Q624339) (← links)
- Computability of finite-dimensional linear subspaces and best approximation (Q638485) (← links)
- A functional interpretation for nonstandard arithmetic (Q714729) (← links)
- Effective metastability of Halpern iterates in \(CAT(0)\) spaces (Q715208) (← links)
- Explicit polynomial bounds on prime ideals in polynomial rings over fields (Q785750) (← links)
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces (Q845286) (← links)
- Some principles weaker than Markov's principle (Q892139) (← links)
- The asymptotic behavior of the composition of firmly nonexpansive mappings (Q896178) (← links)
- On the disjunctive Markov principle (Q897485) (← links)
- Logical metatheorems for abstract spaces axiomatized in positive bounded logic (Q908073) (← links)
- From (Idealized) exact causality-preserving transformations to practically useful approximately-preserving ones: a general approach (Q930194) (← links)
- On the form of witness terms (Q982183) (← links)
- The metamathematics of ergodic theory (Q1006602) (← links)
- An abstract proximal point algorithm (Q1630279) (← links)
- Reverse mathematics and parameter-free transfer (Q1634526) (← links)
- A footnote to ``The crisis in contemporary mathematics'' (Q1635798) (← links)
- Iterative approximation to a coincidence point of two mappings (Q1636901) (← links)
- Eliminating disjunctions by disjunction elimination (Q1688959) (← links)
- Arithmetical conservation results (Q1688961) (← 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)
- A note on non-classical nonstandard arithmetic (Q1715475) (← links)
- A polynomial rate of asymptotic regularity for compositions of projections in Hilbert space (Q1727978) (← links)
- Mathematical logic: proof theory, constructive mathematics. Abstracts from the workshop held November 5--11, 2017 (Q1731963) (← links)
- The computational content of arithmetical proofs (Q1762353) (← links)
- On Brouwer's continuity principle (Q1788331) (← links)
- Completeness: when enough is enough (Q2003502) (← links)
- Quantitative results on a Halpern-type proximal point algorithm (Q2028456) (← links)
- Rates of metastability for iterations on the unit interval (Q2033176) (← links)
- Metastability of the proximal point algorithm with multi-parameters (Q2043306) (← links)
