Realizability: An Introduction to its Categorical Side

Front Cover
Elsevier, Apr 10, 2008 - Mathematics - 328 pages
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
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Chapter 1 Partial Combinatory Algebras
1
Chapter 2 Realizability triposes and toposes
49
Chapter 3 The Effective Topos
115
Chapter 4 Variations
255

Other editions - View all

Common terms and phrases

Bibliographic information