Il libro è attualmente esaurito
Maggiori informazioni sul libro
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.
Acquisto del libro
FUNCTIONAL INTERPRETATIONS, Justus Diller
- Lingua
- Pubblicato
- 2019
- product-detail.submit-box.info.binding
- (Copertina rigida)
Ti avviseremo via email non appena lo rintracceremo.
Metodi di pagamento
Ancora nessuna valutazione.