Get Free Shipping on orders over $79
Realizability, Volume 152 : An Introduction to its Categorical Side - Jaap van Oosten
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Realizability, Volume 152

An Introduction to its Categorical Side

By: Jaap van Oosten

Hardcover | 6 March 2008 | Edition Number 152

At a Glance

Hardcover


RRP $296.95

$265.75

11%OFF

or 4 interest-free payments of $66.44 with

 or 

Ships in 5 to 7 business days

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
Industry Reviews
"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

More in Algebra

The Maths Book : Big Ideas Simply Explained - DK

RRP $42.99

$32.99

23%
OFF
Algebra Workbook Grades 6-8 : Algebra - Kumon
The Mending of Broken Bones : A Modern Guide to Classical Algebra - Paul Lockhart
Pre-Algebra Workbook Grades 6-8 : Algebra - Kumon

RRP $24.99

$18.99

24%
OFF
Linear Algebra - Lilian Mandelbaum

$458.75

Textbook of Algebra - Jonas Hoover

$458.75

Fundamentals of Algebra - Kevin Houston

$427.75

Linear Algebra: A Modern Introduction : 4th Edition - David Poole

RRP $189.95

$152.75

20%
OFF
Essential Calculus : 2nd Edition - James Stewart

RRP $219.95

$164.75

25%
OFF
The Cartoon Guide to Algebra : Cartoon Guide Series - Larry Gonick
LEC NOTE MATH OLYM : SNR SEC (V1) - XU JIAGU

RRP $77.99

$70.75