2026-07-20T06:22:23Z
https://drops.dagstuhl.de/oai
oai:drops-oai.dagstuhl.de:431
2024-03-06T11:06:08Z
ddc:004
open_access
Generalized metatheorems on the extractability of uniform bounds in functional analysis
Gerhardy, Philipp
Kohlenbach, Ulrich
Proof mining
majorization
Recently U.Kohlenbach proved general metatheorems for the extraction of (uniform) bounds from classical
proofs in functional analysis. The proof was based on
a combination of Gödel's functional interpretation
and Bezem's strong majorization relation. We present
a generalization of the majorization relation which
allows to generalize Kohlenbach's metatheorems
significantly. Finally, we will discuss some examples
which are now covered by the new metatheorems.
Schloss Dagstuhl – Leibniz-Zentrum für Informatik
Philipp Gerhardy and Ulrich Kohlenbach
2006
Is Part Of Dagstuhl Seminar Proceedings, Volume 5021, Mathematics, Algorithms, Proofs (2006)
InProceedings
Text
doc-type:ResearchArticle
publishedVersion
application/pdf
doi:10.4230/DagSemProc.05021.13
urn:nbn:de:0030-drops-4318
https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05021.13
eng
https://creativecommons.org/licenses/by/4.0/legalcode