Higher Recursion Theory (Perspectives in Mathematical Logic)

Description

Hyperarithmetic theory is the first step beyond classical recursion theory. It is the primary source of ideas and examples in higher recursion theory. It is also a crossroad for several areas of mathematical logic: in set theory it is an initial segment of Godel's L; in model theory, the least admissible set after ; in descriptive set theory, the setting for effective arguments. In this book, hyperarithmetic theory is developed at length and used to lift classical recursion theory from integers to recursive ordinals (metarecursion). Two further liftings are then made, first ordinals ( -recursion) and then to sets (E-recursion). Techniques such as finite and infinite injury, forcing and fine structure and extended and combined Dynamic and syntactical methods are contrasted. Several notions of reducibility and computation are compared. Post's problem is answere affirmatively in all three settings. This long-awaited volume of the -series will be a "Must" for all working in the field.

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Higher Recursion Theory (Perspectives in Mathematical Logic)" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2604
2. General Recursion Theory: An Axiomatic Approach (Perspectives in Mathematical Logic)
3. Essential Stability Theory (Perspectives in Mathematical Logic)
4. Fundamentals of Stability Theory (Perspectives in Mathematical Logic)
5. Degrees of Unsolvability: Local and Global Theory (Perspectives in Mathematical Logic)
6. Recursion Theory for Metamathematics (Oxford Logic Guides)
7. Complexity, Logic, and Recursion Theory (Lecture Notes in Pure and Applied Mathematics)
8. Elements of Mathematical Logic: Model Theory (Studies in Logic and the Foundations of Mathematics)
9. Constructibility (Perspectives in Mathematical Logic)
10. Lectures in Logic and Set Theory. Volume I: Mathematical Logic (Reupload)
11. Lectures in Logic and Set Theory : Volume 1, Mathematical Logic
12. Computability in Analysis and Physics (Perspectives in Mathematical Logic)
13. Metamathematics of First-Order Arithmetic (Perspectives in Mathematical Logic)
14. Lectures in Logic and Set Theory Vol.I Mathematical Logic
15. Classical Recursion Theory: The Theory of Functions and Sets of Natural Numbers, Vol. 1
16. An Introduction to Mathematical Logic and Type Theory: To Truth Through Proof