Item Successfully Added to Cart
An error was encountered while trying to add the item to the cart. Please try again.
Please make all selections above before adding to cart
Formalized Recursive Functionals and Formalized Realizability
Available Formats:
Electronic ISBN: 9781470400385
Product Code: MEMO/1/89.E
List Price: $21.00
MAA Member Price: $18.90
AMS Member Price: $12.60
Click above image for expanded view
Formalized Recursive Functionals and Formalized Realizability
Available Formats:
Electronic ISBN:  9781470400385 
Product Code:  MEMO/1/89.E 
List Price:  $21.00 
MAA Member Price:  $18.90 
AMS Member Price:  $12.60 

Book DetailsMemoirs of the American Mathematical SocietyVolume: 1; 1969; 106 ppMSC: Primary 03;

Table of Contents

Chapters

Introduction

Part I. Formalized recursive functionals

1. Computation tree numbers

2. $p$terms and $p$functors; $r\simeq s$ (definition and basic properties)

3. Representation of $p$terms by proper indices

4. The recursion theorem; the normal form theorem; $\{\tau \}[\alpha ]$ and $\wedge \alpha \, u[\alpha ]$; $!R \,\&\, [A(R)]$

Part II. Formalized realizability

5. Intuitionistically provable formulas are realizable and $\bigcirc \!\!\!\!\!q$ realizable


RequestsReview Copy – for reviewers who would like to review an AMS bookPermission – for use of book, eBook, or Journal contentAccessibility – to request an alternate format of an AMS title
 Book Details
 Table of Contents
 Requests

Chapters

Introduction

Part I. Formalized recursive functionals

1. Computation tree numbers

2. $p$terms and $p$functors; $r\simeq s$ (definition and basic properties)

3. Representation of $p$terms by proper indices

4. The recursion theorem; the normal form theorem; $\{\tau \}[\alpha ]$ and $\wedge \alpha \, u[\alpha ]$; $!R \,\&\, [A(R)]$

Part II. Formalized realizability

5. Intuitionistically provable formulas are realizable and $\bigcirc \!\!\!\!\!q$ realizable
Review Copy – for reviewers who would like to review an AMS book
Permission – for use of book, eBook, or Journal content
Accessibility – to request an alternate format of an AMS title
Please select which format for which you are requesting permissions.