Cantitate/Preț
Produs

Functional Interpretations: From the Dialectica Interpretation to Interpretations of Classical and Constructive Set Theory

Autor Justus Diller
en Limba Engleză Hardback – 29 iun 2016
This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type operations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, i.e. Dialectica and Diller–Nahm interpretation as well as Kreisel's modified realization, together with their Troelstra-style hybrids, are applied to constructive as well as classical systems of arithmetic, analysis, and set theory. They yield relative consistency and conservativity results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.Prerequisites are: familiarity with classical and intuitionistic predicate logic, basics of computability theory, Gödel's incompleteness theorems.
Citește tot Restrânge

Preț: 55919 lei

Preț vechi: 65787 lei
-15% Nou

Puncte Express: 839

Preț estimativ în valută:
10703 11155$ 8910£

Carte tipărită la comandă

Livrare economică 06-20 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9789814551397
ISBN-10: 9814551392
Pagini: 250
Dimensiuni: 161 x 236 x 15 mm
Greutate: 0.5 kg
Editura: WORLD SCIENTIFIC