Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Zjistit stav objednávky

Staňte se součástí komunity milovníků knih z celého světa a získejte hromadu výhod. Založit účet zdarma

Doprava zdarma se Zásilkovnou nad 1 499 Kč

Kurýr DPD 69 Kč PPL shop 49 Kč Balíkovna 69 Kč PPL kurýr 74 Kč PPL box 39 Kč Balíkovna 49 Kč Výdejní místo DPD 49 Kč Zásilkovna 39 Kč

Kontakt

Jak nakupovat

Pomoc

Můj účet

▸ Prázdný :-(

Doprava zdarma při nákupu nad 1 499 Kč přes Zásilkovnu nebo PPL Box.

Knihy v angličtině > Matematika a věda > Matematika > Matematické základy > Matematická logika > 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: 2388 CZK
Availability: InStock
Author: Justus Diller
ISBN: 9789814551397

Justus Diller

Jazyk

Angličtina

Kniha Pevná

Libristo kód: 05071112

Nakladatelství World Scientific Publishing Co Pte Ltd, listopad 2019

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

Libristo kód: 05071112

239 b

2 388 Kč

Skladem u dodavatele Odesíláme za 9-15 dnů

30 dní na vrácení zboží

Zákazníci také koupili

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

Brožovaná

293 Kč

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

Brožovaná

315 Kč

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

Brožovaná

788 Kč

La Catalyse En Chimie Organique SABATIER-P

Brožovaná

559 Kč

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

Brožovaná

690 Kč

Le Mariage de Figaro

DVD

453 Kč

Dyskalkulie. Eine Entwicklungsstoerung des Kindes- und Jugendalters Manuela Wolf

Brožovaná

369 Kč

AMY WINEHOUSE "GINER

Brožovaná

473 Kč

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.