Ulrich Kohlenbach

Applied Proof Theory: Proof Interpretations and their Use in Mathematics (eBook, PDF)

• Format: PDF

Produktdetails

• Verlag: Springer Berlin
• Erscheinungstermin: 23. Mai 2008
• Englisch
• ISBN-13: 9783540775331
• Artikelnr.: 37370581

Autorenporträt

Inhaltsangabe

---

Unwinding proofs ('Proof Mining').- Intuitionistic and classical arithmetic in all finite types.- Representation of Polish metric spaces.- Modified realizability.- Majorizability and the fan rule.- Semi-intuitionistic systems and monotone modified realizability.- Gödel's functional ('Dialectica') interpretation.- Semi-intuitionistic systems and monotone functional interpretation.- Systems based on classical logic and functional interpretation.- Functional interpretation of full classical analysis.- A non-standard principle of uniform boundedness.- Elimination of monotone Skolem functions.- The Friedman A-translation.- Applications to analysis: general metatheorems I.- Case study I: Uniqueness proofs in approximation theory.- Applications to analysis: general metatheorems II.- Case study II: Applications to the fixed point theory of nonexpansive mappings.- Final comments.

Rezensionen

From the reviews: "This book covers ... from proof theory to a rich set of applications in areas quite distinct from mathematical logic: approximation theory and fixed point theory of nonexpansive mappings. ... Almost every chapter has a detailed ... informative final section with exercises, historical comments and references to related work. ... In summary, this book is a very welcome addition to the proof theory literature." (H. Schwichtenberg, Mathematical Reviews, Issue 2009 k)