9789814551397 - functional interpretations: from the dialectica interpretation to functional interpretations of analysis and set theory di diller, justus (18 risultati)
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: Romtrade Corp., STERLING HEIGHTS, MI, U.S.A.Romtrade Corp.
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 87,17
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New. This is a Brand-new US Edition. This Item may be shipped from US or any other country as we have multiple locations worldwide.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: SMASS Sellers, IRVING, TX, U.S.A.SMASS Sellers
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 91,69
Spedizione gratuitaSpedito in U.S.A.Quantità: 2 disponibili
Condizione: New. Brand New Original US Edition. Customer service! Satisfaction Guaranteed.
- Altre immagini
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 103,61
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: World Scientific Publishing Company, Incorporated, 2020
- Rilegato
Da: Books Puddle, New York, NY, U.S.A.Books Puddle
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 102,40
EUR 3,50 spedizioneSpedito in U.S.A.Quantità: 4 disponibili
Condizione: New. 250.
Lingua: Inglese
Editore: World Scientific Publishing Co Pte Ltd, 2019
- Rilegato
Da: PBShop.store US, Wood Dale, IL, U.S.A.PBShop.store US
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 108,11
Spedizione gratuitaSpedito in U.S.A.Quantità: 15 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: World Scientific Publishing Co Pte Ltd, 2019
- Rilegato
Da: PBShop.store UK, Fairford, GLOS, Regno UnitoPBShop.store UK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 104,16
EUR 5,86 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 15 disponibili
HRD. Condizione: New. New Book. Shipped from UK. Established seller since 2000.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: Basi6 International, Irving, TX, U.S.A.Basi6 International
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 110,24
Spedizione gratuitaSpedito in U.S.A.Quantità: 1 disponibili
Condizione: Brand New. New. US edition. Expediting shipping for all USA and Europe orders excluding PO Box. Excellent Customer Service.
Lingua: Inglese
Editore: World Scientific Publishing Company, Incorporated, 2020
- Rilegato
Da: Majestic Books, Hounslow, Regno UnitoMajestic Books
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 103,37
EUR 7,58 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 4 disponibili
Condizione: New. 250.
- Altre immagini
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 111,85
EUR 2,32 spedizioneSpedito in U.S.A.Quantità: 1 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: World Scientific Publishing Company, Incorporated, 2020
- Rilegato
Da: Biblios, frankfurt am main, HESSE, GermaniaBiblios
Contatta il venditoreVenditore con 4 stelleCondizione: Nuovo
EUR 104,23
EUR 9,95 spedizioneSpedito da Germania a U.S.A.Quantità: 4 disponibili
Condizione: New. 250.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 104,14
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: New.
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: Ria Christie Collections, Uxbridge, Regno UnitoRia Christie Collections
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 116,46
EUR 13,98 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Condizione: New. In.
- Altre immagini
Lingua: Inglese
Editore: World Scientific Publishing Company, 2020
- Rilegato
Da: GreatBookPricesUK, Woodford Green, Regno UnitoGreatBookPricesUK
Contatta il venditoreVenditore con 5 stelleCondizione: Usato - Come nuovo
EUR 114,74
EUR 17,50 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Condizione: As New. Unread book in perfect condition.
Lingua: Inglese
Editore: World Scientific Pub Co Inc, 2019
- Rilegato
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 139,77
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 2 disponibili
Hardcover. Condizione: Brand New. 237 pages. 9.25x6.25x1.00 inches. In Stock.
Lingua: Inglese
Editore: World Scientific Pub Co Inc, 2019
- Rilegato
- Print on Demand
Da: Revaluation Books, Exeter, Regno UnitoRevaluation Books
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 111,47
EUR 11,67 spedizioneSpedito da Regno Unito a U.S.A.Quantità: 1 disponibili
Hardcover. Condizione: Brand New. 237 pages. 9.25x6.25x1.00 inches. In Stock. This item is printed on demand.
- Altre immagini
Lingua: Inglese
Editore: WSPC, 2019
- Rilegato
- Print on Demand
Da: moluna, Greven, Germaniamoluna
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 97,52
EUR 48,99 spedizioneSpedito da Germania a U.S.A.Quantità: Più di 20 disponibili
Gebunden. Condizione: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. InhaltsverzeichnisArithmetic: Primitive Recursive Functionals &#923- (Diller - Nahm) Interpretation of Heyting Arithmetic in Finite Types The Dialectica Interpretation and Equality Functionals Simultaneo…us Recursions in Linear Ty.
- Altre immagini
Lingua: Inglese
Editore: World Scientific, 2019
- Rilegato
- Print on Demand
Da: preigu, Osnabrück, Germaniapreigu
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 101,15
EUR 70,00 spedizioneSpedito da Germania a U.S.A.Quantità: 5 disponibili
Buch. Condizione: Neu. FUNCTIONAL INTERPRETATIONS | Diller Justus | Buch | Gebunden | Englisch | 2019 | World Scientific | EAN 9789814551397 | Verantwortliche Person für die EU: Libri GmbH, Europaallee 1, 36244 Bad Hersfeld, gpsr[at]libri[dot]de | Anbieter: preigu Print on Demand.
- Altre immagini
Lingua: Inglese
Editore: World Scientific, 2020
- Rilegato
- Print on Demand
Da: AHA-BUCH GmbH, Einbeck, GermaniaAHA-BUCH GmbH
Contatta il venditoreVenditore con 5 stelleCondizione: Nuovo
EUR 120,84
EUR 62,56 spedizioneSpedito da Germania a U.S.A.Quantità: 1 disponibili
Buch. Condizione: Neu. nach der Bestellung gedruckt Neuware - Printed after ordering - This book gives a detailed treatment of functional interpretations of arithmetic, analysis, and set theory. The subject goes back to Gödel's Dialectica interpretation of Heyting arithmetic which replaces nested quantification by higher type op…erations and thus reduces the consistency problem for arithmetic to the problem of computability of primitive recursive functionals of finite types. Regular functional interpretations, in particular the Dialectica interpretation and its generalization to finite types, the Diller-Nahm interpretation, are studied on Heyting as well as Peano arithmetic in finite types and extended to functional interpretations of constructive as well as classical systems of analysis and set theory. Kreisel's modified realization and Troelstra's hybrids of it are presented as interpretations of Heyting arithmetic and extended to constructive set theory, both in finite types. They serve as background for the construction of hybrids of the Diller-Nahm interpretation of Heyting arithmetic and constructive set theory, again in finite types. All these functional interpretations yield relative consistency results and closure under relevant rules of the theories in question as well as axiomatic characterizations of the functional translations.
