Pub. Date:
Springer Berlin Heidelberg
Higher Recursion Theory / Edition 1

Higher Recursion Theory / Edition 1

by Gerald E. Sacks
Current price is , Original price is $160.0. You

Temporarily Out of Stock Online

Please check back later for updated availability.

This item is available online through Marketplace sellers.

Product Details

ISBN-13: 9783642057427
Publisher: Springer Berlin Heidelberg
Publication date: 12/07/2010
Series: Perspectives in Mathematical Logic Series
Edition description: Softcover reprint of hardcover 1st ed. 1990
Pages: 345
Product dimensions: 0.75(w) x 9.21(h) x 6.14(d)

About the Author

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

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.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews