Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) [Hardcover]

Jaap van Oosten (Author)

Book Description

ISBN-10: 0444515844 | ISBN-13: 978-0444515841 | Publication Date: April 24, 2008 | Edition: 1

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

Product Details

• Hardcover: 328 pages
• Publisher: Elsevier Science; 1 edition (April 24, 2008)
• Language: English
• ISBN-10: 0444515844
• ISBN-13: 978-0444515841
• Product Dimensions: 9 x 6.1 x 0.8 inches
• Shipping Weight: 1.5 pounds (View shipping rates and policies)
• Average Customer Review: 5.0 out of 5 stars  See all reviews (1 customer review)
• Amazon Best Sellers Rank: #3,119,649 in Books (See Top 100 in Books)

More About the Author

Discover books, learn about writers, read author blogs, and more.

Customer Reviews

Most Helpful Customer Reviews

1 of 2 people found the following review helpful:

5.0 out of 5 stars author's description, December 9, 2008

By 

J. van Oosten - See all my reviews
(REAL NAME)   

This review is from: Realizability, Volume 152: An Introduction to its Categorical Side (Studies in Logic and the Foundations of Mathematics) (Hardcover)

A monograph about the effective topos
This book is intended to provide advanced undergraduate students and Ph.D. students with a concise introduction to the effective topos. Contains introductions to partial combinatory algebras, tripos theory, construction of the effective topos. Synthesizes the existing literature, making a lot of material accessible to all readers. Many applications to recursive analysis, intuitionistic set theory, synthetic domain theory. Variations are also developed, such as Lifschitz realizability, Modified realizability, Kleene-Vesley realizability.