Gerald E. Sacks works in the Department of Mathematics at Harvard University, Massachusetts and at the Massachusetts Institute of Technology.
Inhaltsangabe
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.
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.
Es gelten unsere Allgemeinen Geschäftsbedingungen: www.buecher.de/agb
Impressum
www.buecher.de ist ein Shop der buecher.de GmbH & Co. KG Bürgermeister-Wegele-Str. 12, 86167 Augsburg Amtsgericht Augsburg HRA 13309
