↓ Skip to main content
What is this page? Embed badge

Applied Proof Theory: Proof Interpretations and Their Use in Mathematics

Overview of attention for book
Cover of 'Applied Proof Theory: Proof Interpretations and Their Use in Mathematics'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Introduction
  3. Altmetric Badge
    Chapter 2 Unwinding proofs (‘Proof Mining’)
  4. Altmetric Badge
    Chapter 3 Intuitionistic and classical arithmetic in all finite types
  5. Altmetric Badge
    Chapter 4 Representation of Polish metric spaces
  6. Altmetric Badge
    Chapter 5 Modified realizability
  7. Altmetric Badge
    Chapter 6 Majorizability and the fan rule
  8. Altmetric Badge
    Chapter 7 Semi-intuitionistic systems and monotone modified realizability
  9. Altmetric Badge
    Chapter 8 Gödel’s functional (‘Dialectica’) interpretation
  10. Altmetric Badge
    Chapter 9 Semi-intuitionistic systems and monotone functional interpretation
  11. Altmetric Badge
    Chapter 10 Systems based on classical logic and functional interpretation
  12. Altmetric Badge
    Chapter 11 Functional interpretation of full classical analysis
  13. Altmetric Badge
    Chapter 12 A non-standard principle of uniform boundedness
  14. Altmetric Badge
    Chapter 13 Elimination of monotone Skolem functions
  15. Altmetric Badge
    Chapter 14 The Friedman A -translation
  16. Altmetric Badge
    Chapter 15 Applications to analysis: general metatheorems I
  17. Altmetric Badge
    Chapter 16 Case study I: Uniqueness proofs in approximation theory
  18. Altmetric Badge
    Chapter 17 Applications to analysis: general metatheorems II
  19. Altmetric Badge
    Chapter 18 Case study II: Applications to the fixed point theory of nonexpansive mappings
  20. Altmetric Badge
    Chapter 19 Final comments
Attention for Chapter 8: Gödel’s functional (‘Dialectica’) interpretation
Altmetric Badge

Citations

dimensions_citation
135 Dimensions

Readers on

mendeley
13 Mendeley
Summary Dimensions citations
So far, Dimensions has found 135 publications that cite this research output.

135

The most recent citing publications are shown below. View all 135 publications that cite this research output on Dimensions.

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.

This page is provided by Altmetric.