Realizability: An Introduction to its Categorical Side de Jaap van Oosten

Realizability: An Introduction to its Categorical Side: Studies in Logic and the Foundations of Mathematics, cartea 152

en Limba Engleză Hardback – 5 mar 2008

Aimed at starting researchers in the field, Realizability gives a rigorous, yet reasonable introduction to the basic concepts of a field which has passed several successive phases of abstraction. Material from previously unpublished sources such as Ph.D. theses, unpublished papers, etc. has been molded into one comprehensive presentation of the subject area.

- The first book to date on this subject area
- Provides an clear introduction to Realizability with a comprehensive bibliography
- Easy to read and mathematically rigorous
- Written by an expert in the field

Citește tot Restrânge

Din seria Studies in Logic and the Foundations of Mathematics

15%

Preț: 328^.09 lei
23%

Preț: 521^.67 lei
Preț: 396^.72 lei
78%

Preț: 296^.05 lei
Preț: 343^.74 lei
23%

Preț: 563^.29 lei
20%

Preț: 794^.22 lei
27%

Preț: 945^.54 lei
27%

Preț: 1016^.48 lei
46%

Preț: 747^.62 lei
20%

Preț: 1211^.66 lei
31%

Preț: 590^.36 lei
27%

Preț: 868^.94 lei
27%

Preț: 741^.59 lei
20%

Preț: 639^.95 lei
27%

Preț: 849^.60 lei
20%

Preț: 1126^.74 lei
23%

Preț: 734^.18 lei
27%

Preț: 1390^.23 lei
27%

Preț: 787^.87 lei
23%

Preț: 1014^.52 lei
27%

Preț: 783^.34 lei

Preț: 771^.37 lei

Preț vechi: 1255^.76 lei
-39% Nou

Puncte Express: 1157

:
147^.64€ • 153^.55$ • 123^.72£

Carte tipărită la comandă

Livrare economică 07-21 martie

Adaugă în coș

Wish list
Gift list
Am citit!

Adaugă în listă

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9780444515841
ISBN-10: 0444515844
Pagini: 328
Dimensiuni: 152 x 229 x 19 mm
Greutate: 0.68 kg
Editura: ELSEVIER SCIENCE
Seria Studies in Logic and the Foundations of Mathematics

Public țintă

University libraries, PhD students and advanced undergraduates as well as professional logicians

Cuprins

Introduction1. Partial Combinatory Algebras2. Realizability triposes and toposes3. The effective topos4. Variations on Realizability

Recenzii

"This book aims at beginning researchers in the field of realizability and so emphasizes technical tools rather than any overview of methods or results. The central object here which created the categorical approach to realizability is Martin Hyland’s effective topos called Eff. The author advises that readers interested in getting directly to that topos can skip Chapter 1 and will only need "some parts of Chapter 2" (p. xii). However, that opening material will be needed for any research career on this and other realizability toposes. The reader is assumed to know some amount of general category theory as well as to have an "acquaintance with the notion of a topos" (p. vi). The tools are presented very clearly and this is especially advantageous for the idea of a tripos. The standard reference on triposes has been Andrew Pitts’s 1982 Ph.D. dissertation [The theory of triposes. Cambridge: Univ. Cambridge (1982)]. Considerable simplification has been possible since that pioneering work. This book gives a very clear exposition and should become the reference." --Zentralblatt MATH 1225-1

Papetărie, jocuri, reviste