On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness

DOI10.3233/COM-180097zbMath1454.03017OpenAlexW2811046655MaRDI QIDQ5211071

Ulrich Kohlenbach

Publication date: 17 January 2020

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/com-180097

zbMATH Keywords

convex optimizationreverse mathematicsLipschitzWeihrauch complexitymoduli of regularitymoduli of uniqueness

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Computation over the reals, computable analysis (03D78)

Related Items (6)

Proof-theoretic uniform boundedness and bounded collection principles and countable Heine-Borel compactness ⋮ Rates of metastability for iterations on the unit interval ⋮ Moduli of regularity and rates of convergence for Fejér monotone sequences ⋮ A new metastable convergence criterion and an application in the theory of uniformly convex Banach spaces ⋮ Unnamed Item ⋮ On the proximal point algorithm and its Halpern-type variant for generalized monotone operators in Hilbert space

This page was built for publication: On the reverse mathematics and Weihrauch complexity of moduli of regularity and uniqueness