ISBN: 9783540775324 - applied proof theory: proof interpretations and their use in mathematics (springer monographs in mathematics) (3 Ergebnisse)

hardcover. Zustand: Wie neu. 556 Seiten; 9783540775324.1 Gewicht in Gramm: 4.

Buch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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.…

Gebundene Ausgabe. Zustand: Gut. 2008. 556 S. Gutes Exemplar, geringe Gebrauchsspuren, Cover/SU berieben/bestoßen, Schnitt/Papier nachgedunkelt, innen alles in Ordnung. A260126am59 ISBN: 9783540775324 Sprache: Englisch Gewicht in Gramm: 2100.