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
| eBook ISBN: | 978-1-4704-0038-5 |
| 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
| eBook ISBN: | 978-1-4704-0038-5 |
| 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 publishers of book reviewsPermission – 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 publishers of book reviews
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.