Status der Bestellung anzeigen

Werden Sie Teil einer Gemeinschaft von Buchliebhabern aus der ganzen Welt und erhalten Sie eine Reihe von Vorteilen. Konto kostenlos anlegen

DPD-Kurier 4.49 € Hermes Kurierdienst 4.99 € DHL-Kurier 3.99 € Hermes-Stelle 4.49 € DPD-Stelle 2.99 € GLS-Kurierdienst 4.49 €

Kontakt

Wie einkaufen

Hilfe

Mein Konto

▸ Leer :-(

Bücher auf Englisch > Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik > 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: 106.59 EUR
Availability: InStock
Author: Justus Diller
ISBN: 9789814551397

Justus Diller

Sprache

Englisch

Buch Hardcover

Libristo-Code: 05071112

Verlag World Scientific Publishing Co Pte Ltd, November 2019

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set... Vollständige Beschreibung

Libristo-Code: 05071112

261 b

106.59 € inkl. MwSt.

Externes Lager Wir versenden in 9-15 Tagen

30 Tage für die Rückgabe der Ware

Kunden kauften auch

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

Broschur

13.19 €

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

Broschur

14.19 €

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

Broschur

35.29 €

La Catalyse En Chimie Organique SABATIER-P

Broschur

25.09 €

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

Broschur

29.49 €

Le Mariage de Figaro

DVD

19.29 €

Dyskalkulie. Eine Entwicklungsstoerung des Kindes- und Jugendalters Manuela Wolf

Broschur

17.95 €

AMY WINEHOUSE "GINER

Broschur

20.09 €

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.

Schauspielerin & Polyglotte

EWA KASP für

Video abspielen

Libristo bietet die größte Auswahl an fremdsprachiger Literatur an. Deshalb kaufe ich meine Bücher hier ein.

Informationen zum Buch

Vollständiger Name Functional Interpretations: From The Dialectica Interpretation To Functional Interpretations Of Analysis And Set Theory

Autor Justus Diller

Sprache

Englisch

Einband Buch - Hardcover

Datum der Veröffentlichung 2019

Anzahl der Seiten 248

EAN 9789814551397

ISBN 9814551392

Libristo-Code 05071112

Verlag World Scientific Publishing Co Pte Ltd

Gewicht 500

Abmessungen 161 x 236 x 15

Kategorie

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mathematik: Logik

Mathematik und Naturwissenschaften > Mathematik > Mathematische Grundlagen > Mengenlehre

Mathematik und Naturwissenschaften > Mathematik > Mathematische Analysis, allgemein > Funktionalanalysis und Abwandlungen

Verschenken Sie dieses Buch noch heute

Es ist ganz einfach

1 Legen Sie das Buch in Ihren Warenkorb und wählen Sie den Versand als Geschenk 2 Wir schicken Ihnen umgehend einen Gutschein 3 Das Buch wird an die Adresse des beschenkten Empfängers geliefert