Fluctuations, effective learnability and metastability in analysis
From MaRDI portal
Publication:392289
DOI10.1016/j.apal.2013.07.014zbMath1319.03062OpenAlexW2159054279MaRDI QIDQ392289
Ulrich Kohlenbach, Pavol Safarik
Publication date: 13 January 2014
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.apal.2013.07.014
Constructive and recursive analysis (03F60) Ergodic theorems, spectral theory, Markov operators (37A30) Functionals in proof theory (03F10) Nonlinear ergodic theorems (47H25)
Related Items
Quantitative results on Fejér monotone sequences ⋮ Fluctuation bounds for ergodic averages of amenable groups ⋮ CONSERVATION THEOREMS ON SEMI-CLASSICAL ARITHMETIC ⋮ Effective results on nonlinear ergodic averages in CAT spaces ⋮ The finitary content of sunny nonexpansive retractions ⋮ Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs ⋮ A quantitative multiparameter mean ergodic theorem ⋮ PRENEX NORMAL FORM THEOREMS IN SEMI-CLASSICAL ARITHMETIC ⋮ Quantitative results for Halpern iterations of nonexpansive mappings
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- A quantitative nonlinear strong ergodic theorem for Hilbert spaces
- A constructive analysis of learning in Peano arithmetic
- On quantitative versions of theorems due to F. E. Browder and R. Wittmann
- Games with 1-backtracking
- Effective metastability of Halpern iterates in \(CAT(0)\) spaces
- Fragments of arithmetic
- Mathematics based on incremental learning -- excluded middle and inductive inference
- Asymptotically nonexpansive mappings in uniformly convex hyperbolic spaces
- Halpern's iteration in CAT(0) spaces
- Approximation of fixed points of nonexpansive mappings
- Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals
- Learning based realizability for HA + EM1 and 1-backtracking games: soundness and completeness
- Ultraproducts and metastability
- Strongly uniform bounds from semi-constructive proofs
- Inside the Muchnik degrees. I: Discontinuity, learnability and constructivism
- Real hypercomputation and continuity
- The mean ergodic theorem
- Explicit Provability and Constructive Semantics
- On the computational content of convergence proofs via Banach limits
- Iterative Algorithms for Nonlinear Operators
- A UNIFORM QUANTITATIVE FORM OF SEQUENTIAL WEAK COMPACTNESS AND BAILLON'S NONLINEAR ERGODIC THEOREM
- Local stability of ergodic averages
- Mean Ergodic Theorems for Nonlinear Operators
- A quantitative mean ergodic theorem for uniformly convex Banach spaces
- Herbrand-Analysen zweier Beweise des Satzes von Roth: Polynomiale Anzahlschranken
- Relative constructivity
- Some logical metatheorems with applications in functional analysis
- A semantics of evidence for classical arithmetic
- Square functions in ergodic theory
- Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
- Automata, Languages and Programming
- Language identification in the limit
- Nicht konstruktiv beweisbare Sätze der Analysis
