Realizability

Realizability

An Introduction to its Categorical Side

1st Edition - March 6, 2008

Write a review

  • Author: Jaap van Oosten
  • eBook ISBN: 9780080560069
  • Hardcover ISBN: 9780444515841

Purchase options

Purchase options
DRM-free (PDF, EPub, Mobi)
Available
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order

Description

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.

Key Features

- 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

Readership

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

Table of Contents

  • Introduction
    1. Partial Combinatory Algebras
    2. Realizability triposes and toposes
    3. The effective topos
    4. Variations on Realizability

Product details

  • No. of pages: 328
  • Language: English
  • Copyright: © Elsevier Science 2008
  • Published: March 6, 2008
  • Imprint: Elsevier Science
  • eBook ISBN: 9780080560069
  • Hardcover ISBN: 9780444515841

About the Author

Jaap van Oosten

Affiliations and Expertise

Utrecht University, The Netherlands

Ratings and Reviews

Write a review

There are currently no reviews for "Realizability"