Над 4 милиона заглавия на английски и други езици! Открийте новата си история още днес! Безплатна доставка за поръчки над 69.99€

Проверка на състоянието на поръчката

Станете част от общност от любители на книгите от цял свят и получавате много предимства. Създай на безплатен акаунт

Безплатна доставка със Еконт над 69.99 €

Куриер Speedy 3.49 € Пункт на Speedy 3.49 € ЕКОНТ 3.99 € Еконтомат/Офис на Еконт 3.99 € Ekont Box 3.99 € Sameday 3.99 € Sameday box 3.99 € Box Now 3.99 €

Контакт

Как се пазарува?

Помощ

Моят акаунт

▸ Празна :-(

Книги на английски > 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: 103.04 EUR
Availability: InStock
Author: Justus Diller
ISBN: 9789814551397

Justus Diller

Език

Английски език

Книга С твърди корици

Код Либристо: 05071112

Издателство World Scientific Publishing Co Pte Ltd, ноември 2019

This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set... Цялото описание

Код Либристо: 05071112

250 b

103.04 €

201.53 лв

Външен склад Изпращаме след 9-15 дни

30 дни за връщане на стоката

Клиентите са закупили също

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

С меки корици

12.69 € 24.83 лв

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

С меки корици

13.68 € 26.75 лв

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

С меки корици

34.07 € 66.63 лв

La Catalyse En Chimie Organique SABATIER-P

С меки корици

24.16 € 47.24 лв

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

С меки корици

29.73 € 58.15 лв

Le Mariage de Figaro

DVD

19.51 € 38.16 лв

Dyskalkulie. Eine Entwicklungsstoerung des Kindes- und Jugendalters Manuela Wolf

С меки корици

17.08 € 33.41 лв

AMY WINEHOUSE "GINER

С меки корици

21.06 € 41.19 лв

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.