Logical metatheorems for accretive and (generalized) monotone set-valued operators

DOI10.1142/S0219061323500083arXiv2205.01788MaRDI QIDQ6398197

Nicholas Pischke

Publication date: 3 May 2022

Mathematics Subject Classification ID

Monotone operators and generalizations (47H05) Nonlinear accretive operators, dissipative operators, etc. (47H06) Functionals in proof theory (03F10) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: Logical metatheorems for accretive and (generalized) monotone set-valued operators