Le livre est actuellement en rupture de stock
En savoir plus sur le livre
The book explores functional interpretations of arithmetic, analysis, and set theory, tracing back to Gödel's Dialectica interpretation. It examines how higher type operations can simplify consistency issues in arithmetic by addressing computability of primitive recursive functionals. Key interpretations, including the Dialectica and Diller-Nahm interpretations, are analyzed within Heyting and Peano arithmetic, extending to constructive and classical analysis and set theory. The text also discusses Kreisel's and Troelstra's contributions, offering insights into relative consistency and axiomatic characterizations of functional translations.
Achat du livre
FUNCTIONAL INTERPRETATIONS, Justus Diller
- Langue
- Année de publication
- 2019
- product-detail.submit-box.info.binding
- (rigide)
Nous vous informerons par e-mail dès que nous l’aurons retrouvé.
Modes de paiement
Personne n'a encore évalué .