DagSemProc.05021.13.pdf
- Filesize: 125 kB
- 5 pages
Document
Generalized metatheorems on the extractability of uniform bounds in functional analysis
Authors
-
Part of:
Volume:
Dagstuhl Seminar Proceedings, Volume 5021
Series: Dagstuhl Seminar Proceedings (DagSemProc) - License:
Creative Commons Attribution 4.0 International license
- Publication Date: 2006-01-17
Cite AsGet BibTex
Philipp Gerhardy and Ulrich Kohlenbach. Generalized metatheorems on the extractability of uniform bounds in functional analysis. In Mathematics, Algorithms, Proofs. Dagstuhl Seminar Proceedings, Volume 5021, pp. 1-5, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)
https://doi.org/10.4230/DagSemProc.05021.13
https://doi.org/10.4230/DagSemProc.05021.13
Abstract
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.
Keywords
- Proof mining
- majorization
Metrics
- Access Statistics
-
Total Accesses (updated on a weekly basis)
0PDF Downloads