Gratis verzending vanaf 59,99 euro.

Status van bestelling controleren

Word lid van een gemeenschap van boekenliefhebbers van over de hele wereld en krijg een heleboel voordelen. Gratis account aanmaken

Gratis bezorging met Zásilkovna boven 59.99 €

DPD koerier 5.49 € DHL koeriersdienst 5.49 € GLS koerier 4.99 € DPD-punt 3.99 €

Contact

Hoe winkelen bij ons werkt

Help

Mijn account

▸ Leeg :-(

Gratis verzending vanaf 59,99 euro.

Boeken in het Engels > Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica > 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: 103.4 EUR
Availability: InStock
Author: Justus Diller
ISBN: 9789814551397

Justus Diller

Taal

Engels

Boek Gebonden (harde band)

Libristo-code: 05071112

Uitgeverij World Scientific Publishing Co Pte Ltd, november 2019

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

Libristo-code: 05071112

250 b

103.40 €

In extern magazijn Wordt binnen 9-15 dagen verzonden

Retourneren binnen 30 dagen

Klanten kochten ook

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

Gebonden (paperback)

12.75 €

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

Gebonden (paperback)

13.66 €

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

Gebonden (paperback)

34.12 €

La Catalyse En Chimie Organique SABATIER-P

Gebonden (paperback)

24.20 €

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

Gebonden (paperback)

28.55 €

Le Mariage de Figaro

Dvd

18.73 €

Dyskalkulie. Eine Entwicklungsstoerung des Kindes- und Jugendalters Manuela Wolf

Gebonden (paperback)

16.20 €

AMY WINEHOUSE "GINER

Gebonden (paperback)

21.16 €

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.

Actrice & Polyglot

EWA KASP voor

Video afspelen

Libristo heeft de grootste selectie boeken in vreemde talen. Daarom koop ik mijn boeken hier.

Informatie over het boek

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

Auteur Justus Diller

Taal

Engels

Bindwijze Boek - Gebonden (harde band)

Datum van uitgifte 2019

Aantal pagina's 248

EAN 9789814551397

ISBN 9814551392

Libristo-code 05071112

Uitgeverij World Scientific Publishing Co Pte Ltd

Gewicht 500

Afmetingen 161 x 236 x 15

Categorieën

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Wiskundige logica

Wiskunde en wetenschap > Wiskunde > Grondslagen van de wiskunde > Verzamelingenleer

Wiskunde en wetenschap > Wiskunde > Calculus en wiskundige analyse > Functionele analyse en transformaties

Geef dit boek vandaag nog cadeau

Dat gaat heel eenvoudig

1 Voeg het boek toe aan je winkelwagentje en selecteer Als cadeau bezorgen 2 Je krijgt van ons per omgaand een voucher 3 Het boek wordt bezorgd op het adres van de ontvanger