SU\G(𝔸)/K·U

Proof-Theoretical Aspects of Nonlinear and Set-Valued Analysis

Nicholas Pischke

Type: Article

Publication Date: 2024-06-01

Citations: 0

DOI: https://doi.org/10.1017/bsl.2024.25

Locations

  • Bulletin of Symbolic Logic - View

Similar Works

Action Title Year Authors
+ PDF Chat Logical metatheorems for accretive and (generalized) monotone set-valued operators 2023 Nicholas Pischke
+ Logical metatheorems for accretive and (generalized) monotone set-valued operators 2022 Nicholas Pischke
+ A proof-theoretic metatheorem for nonlinear semigroups generated by an accretive operator and applications 2023 Nicholas Pischke
+ PDF Chat On computational properties of Cauchy problems generated by accretive operators 2023 Pedro Pinto
Nicholas Pischke
+ On computational properties of Cauchy problems generated by accretive operators 2023 Pedro Pinto
Nicholas Pischke
+ Quantitative Analysis of Iterative Algorithms in Fixed Point Theory and Convex Optimization 2016 Daniel Körnlein
+ Nonexpansive maps in nonlinear smooth spaces 2024 Pedro Pinto
+ Proof Mining in <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML" altimg="si1.gif" overflow="scroll"><mml:mi mathvariant="double-struck">R</mml:mi></mml:math>-trees and Hyperbolic Spaces 2006 Laurenţiu Leuştean
+ Rates of convergence for iterative solutions of equations involving set-valued accretive operators 2020 Ulrich Kohlenbach
Thomas Powell
+ Proof mining in ${\mathbb R}$-trees and hyperbolic spaces 2008 Laurenţiu Leuştean
+ PDF Chat On the computational content of convergence proofs via Banach limits 2012 Ulrich Kohlenbach
Laurenţiu Leuştean
+ BOUNDEDNESS AND CONTINUITY PROPERTIES OF NONLINEAR COMPOSITION OPERATORS: A SURVEY 2011 J. Appell
N. Guanda
Nelson Merentes
José L. Sánchez
+ Fundamentals of Mathematical Analysis 2021 Adel N. Boules
+ Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions 2016 Laurenţiu Leuştean
Radu Vlad
Andrei Sipoş
+ Quantitative results on the Ishikawa iteration of Lipschitz pseudo-contractions 2016 Laurenţiu Leuştean
Radu Vlad
Andrei Sipoş
+ PDF Chat A characterization of Clarke’s strict tangent cone via nonlinear semigroups 1985 Jean‐Paul Penot
+ PROOF MINING IN NONLINEAR ANALYSIS AND ERGODIC THEORY 2012 Iu Leus
+ PDF Chat A theorem and a counterexample in the theory of semigroups of nonlinear transformations 1971 Michael G. Crandall
Thomas M. Liggett
+ Applicability Operator Approach to Mathematical Proofs 2024 Jason Kodish
+ PROOF-THEORETIC METHODS IN NONLINEAR ANALYSIS 2019 Ulrich Kohlenbach

Works That Cite This (0)

Action Title Year Authors

Works Cited by This (0)

Action Title Year Authors