Higher Recursion Theory

by

Write The First Customer Review
Higher Recursion Theory - Sacks, Gerald E
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency
Cash for Textbooks

Textbook Buyback

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 ...

Higher Recursion Theory 2017, Cambridge University Press, New York

ISBN-13: 9781107168435

Hardcover

Select
Higher Recursion Theory 2010, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783642057427

Trade paperback

Select
Higher Recursion Theory 1990, Springer, Berlin, Germany

ISBN-13: 9780387193052

Hardcover

Select
Higher Recursion Theory 1990, Springer, Berlin, Germany

ISBN-13: 9783540193050

Hardcover

Select