( en | de | ru )

 

Disambiguation of "Kohlenbach, Ulrich"

Author of the publication

copydeleteadd this publication to your clipboard
R.E. Bruck, proof mining and a rate of asymptotic regularity for ergodic averages in Banach spaces

, and . Applied Set-Valued Analysis and Optimization, 4 (3): 323-336 (2022)
DOI: 10.23952/asvao.4.2022.3.06

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Ulrich Wilhelm Kohlenbach

Bernhard Kohlenbach

Michael Kohlenbach

Paul Kohlenbach

Andreas Kohlenbach

 

Other publications of authors with the same name

Preface., , , and . Ann. Pure Appl. Log., 104 (1-3): 1-2 (2000)Strongly uniform bounds from semi-constructive proofs., and . Ann. Pure Appl. Log., 141 (1-2): 89-107 (2006)Preface., , , and . Ann. Pure Appl. Log., 159 (3): 249-250 (2009)Proof mining a nonlinear ergodic theorem for Banach spaces (abstract), and . Dagstuhl Report, 11 (10): 158-159 (2022)Bounds for a nonlinear ergodic theorem for Banach spaces, and . Ergodic Theory and Dynamical Systems, 43 (5): 1570-1593 (2023)On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness.. Comput., 8 (3-4): 377-387 (2019)Proof Mining in Functional Analysis.. CiE, volume 3526 of Lecture Notes in Computer Science, page 233-234. Springer, (2005)Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.. Arch. Math. Log., 36 (1): 31-71 (1996)An Arithmetical Hierarchy of the Law of Excluded Middle and Related Principles., , , and . LICS, page 192-201. IEEE Computer Society, (2004)Pointwise hereditary majorization and some applications.. Arch. Math. Log., 31 (4): 227-241 (1992)