Higher Recursion Theory

Author:   Gerald E. Sacks (Harvard University, Massachusetts)
Publisher:   Cambridge University Press
Volume:   2
ISBN:  

9781107168435


Pages:   360
Publication Date:   02 March 2017
Format:   Hardback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $338.94 Quantity:  
Add to Cart

Share |

Higher Recursion Theory


Add your own review!

Overview

Full Product Details

Author:   Gerald E. Sacks (Harvard University, Massachusetts)
Publisher:   Cambridge University Press
Imprint:   Cambridge University Press
Volume:   2
Dimensions:   Width: 16.30cm , Height: 2.70cm , Length: 24.00cm
Weight:   0.730kg
ISBN:  

9781107168435


ISBN 10:   1107168430
Pages:   360
Publication Date:   02 March 2017
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Hardback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Part I. Hyperarithmetic Sets: 1. Constructive ordinals and \prod_1^1 sets; 2. The hyperarithmetic hierarchy; 3. \Sigma_1^1 predicates of reals; 4. Measure and forcing; Part II. Metarecursion: 5. Metarecursive enumerability; 6. Hyperregularity and priority; Part III. α-Recursion: 7. Admissibility and regularity; 8. Priority arguments; 9. Splitting, density and beyond; Part IV. E-Recursion: 10. E-closed structures; 11. Forcing computations to converge; 12. Selection and k-sections; 13. E-recursively enumerable degrees; Bibliography; Subject index.

Reviews

Author Information

Gerald E. Sacks works in the Department of Mathematics at Harvard University, Massachusetts and at the Massachusetts Institute of Technology.

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

MRG2025CC

 

Shopping Cart
Your cart is empty
Shopping cart
Mailing List