Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory

Name: Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory
Brand: World Scientific Publishing Co Pte Ltd
SKU: 9789814551397
Price: 37579 HUF
Availability: InStock

Szerző: Justus Diller

Nyelv:

Kötés: Kemény kötésű

Kiadó: World Scientific Publishing Co Pte Ltd

Elérhetőség: Beszállítói készleten

Küldés 9-15 napon belül

37 579 Ft

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set...

Információk a könyvről

Szerző

Justus Diller

Nyelv

Angol

Kötés

Könyv - Kemény kötésű

Kiadva

2019

oldal

248

EAN

9789814551397

ISBN

9814551392

Enbook ID

05071112

Kiadó

World Scientific Publishing Co Pte Ltd

Súly

500

Méretek

161 x 236 x 15

Teljes leírás

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Godel'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, Godel's incompleteness theorems.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták