When quoting this document, please refer to the following
URN: urn:nbn:de:0030-drops-4318
Go to the corresponding Portal

Gerhardy, Philipp ; Kohlenbach, Ulrich

Generalized metatheorems on the extractability of uniform bounds in functional analysis

Document 1.pdf (126 KB)


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.

BibTeX - Entry

  author =	{Philipp Gerhardy and Ulrich Kohlenbach},
  title =	{Generalized metatheorems on the extractability of uniform bounds in functional analysis},
  booktitle =	{Mathematics, Algorithms, Proofs},
  year =	{2006},
  editor =	{Thierry Coquand and Henri Lombardi and Marie-Fran{\c{c}}oise Roy},
  number =	{05021},
  series =	{Dagstuhl Seminar Proceedings},
  ISSN =	{1862-4405},
  publisher =	{Internationales Begegnungs- und Forschungszentrum f{\"u}r Informatik (IBFI), Schloss Dagstuhl, Germany},
  address =	{Dagstuhl, Germany},
  URL =		{},
  annote =	{Keywords: Proof mining, majorization}

Keywords: Proof mining, majorization
Seminar: 05021 - Mathematics, Algorithms, Proofs
Issue Date: 2006
Date of publication: 17.01.2006

DROPS-Home | Fulltext Search | Imprint Published by LZI