Metamathematical Investigation of Intuitionistic Arithmetic and Analysis

Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.

Table des matières

Intuitionistic formal systems.- Models and computability.- Realizability and functional interpretations.- Normalization theorems for systems of natural deduction.- Applications of Kripke models.- Iterated inductive definitions, trees and ordinals.- Erratum.

Détails du produit

• Collaboration: Anne S. Troelstra (Editeur)
• Edition: Springer, Berlin
• Langues: Anglais
• Format d'édition: Livre de poche
• Sortie: 29.06.2009
• EAN: 9783540064916
• ISBN: 978-3-540-06491-6
• Pages: 488
• Poids: 782 g
• Illustrations: XX, 488 p.
• Thèmes: Lecture Notes in Mathematics; Lecture Notes in Mathematics
• Catégorie: Sciences naturelles, médecine, informatique, technique > Mathématiques > Bases