Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Check order status

Become part of a community of book lovers from all over the world and get access to a whole bunch of benefits. Create an account for free

Free delivery for purchases over 19 990 Ft

DPD courier 1 190 Ft Post 1 795 Ft Post 1 690 Ft Post 1 690 Ft FoxPost 1 190 Ft Packeta point 1 190 Ft DPD point 990 Ft GLS courier 1 690 Ft GLS point 1 190 Ft

Contact

How to shop

Help

My account

▸ Empty :-(

Free shipping on orders over 19,990 Ft via Packeta, Fox Post Box, and DPD Collection Point

Books in English > Mathematics & Science > Mathematics > Mathematical foundations > Mathematical logic > Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory

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: 05071112
Price: 39346 HUF
Availability: InStock
Author: Justus Diller
ISBN: 9789814551397

Justus Diller

Language

English

Book Hardback

Libristo code: 05071112

Publishers World Scientific Publishing Co Pte Ltd, November 2019

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

Libristo code: 05071112

268 b

39 346 Ft

In stock at our supplier Shipping in 9-15 days

30-day return policy

Customers also purchased

Articles de la Reddition de Salses Au Roy Catholique, Le Sixieme Jour de Janvier France Secretariat D'Etat

Paperback

4 884 Ft

Acte Pour La Licence. Code Napoleon. Privileges Et Hypotheques. Droit Commercial. Lettre de Change DAUPHOLE-E

Paperback

5 237 Ft

Lettres de Marguerite d'Angouleme, Soeur de Francois Ier, Reine de Navarre MARGUERITE D'ANGOULE

Paperback

13 047 Ft

La Catalyse En Chimie Organique SABATIER-P

Paperback

9 267 Ft

Ya hemos estado en el infierno Manuel Avilés Gómez

Paperback

10 148 Ft

Le Mariage de Figaro

DVD

6 660 Ft

Dyskalkulie. Eine Entwicklungsstoerung des Kindes- und Jugendalters Manuela Wolf

Paperback

6 294 Ft

AMY WINEHOUSE "GINER

Paperback

7 398 Ft

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.