Realizability - 1st Edition - ISBN: 9780444515841, 9780080560069

Realizability, Volume 152

1st Edition

An Introduction to its Categorical Side

Authors: Jaap van Oosten
eBook ISBN: 9780080560069
Hardcover ISBN: 9780444515841
Imprint: Elsevier Science
Published Date: 6th March 2008
Page Count: 328
Tax/VAT will be calculated at check-out
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
165.00
115.50
115.50
115.50
115.50
115.50
132.00
132.00
137.00
95.90
95.90
95.90
95.90
95.90
109.60
109.60
110.00
77.00
77.00
77.00
77.00
77.00
88.00
88.00
180.00
126.00
126.00
126.00
126.00
126.00
144.00
144.00
Unavailable
DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

Table of Contents

Introduction

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

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


Details

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

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


About the Authors

Jaap van Oosten Author

Affiliations and Expertise

Utrecht University, The Netherlands