Realizability: An Introduction to Its Categorical Side: Volume 152 - Rilegato

Van Oosten, Jaap

 
9780444515841: Realizability: An Introduction to Its Categorical Side: Volume 152
Rilegato
ISBN 10: 0444515844 ISBN 13: 9780444515841
Casa editrice: Elsevier Science Ltd, 2008

Sinossi

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

Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.

Recensione

"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

Product Description

Book by van Oosten Jaap

Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.

Editore
Elsevier Science Ltd
Data di pubblicazione
2008
Lingua
Inglese
ISBN 10 
0444515844
ISBN 13 
9780444515841
Rilegatura
Copertina rigida
Numero edizione
1
Numero di pagine
310
Contatto del produttore
non disponibile
Persona responsabile
LSWR Group
b.criscuolo@lswr.it

Via Spadolini, 7
Milano
Italia

Altre edizioni note dello stesso titolo

9780444550200: Realizability: An Introduction to its Categorical Side

Edizione in evidenza

ISBN 10:  0444550208 ISBN 13:  9780444550200
Casa editrice: Elsevier Science, 2013
Brossura