Higher Recursion Theory

by

Write The First Customer Review

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 1990, Springer, Berlin, Germany

ISBN-13: 9780387193052

Hardcover

Select
Higher Recursion Theory 1990, Springer, Berlin, Germany

ISBN-13: 9783540193050

Hardcover

Select