Gerald E. Sacks's Books

Contents: Recursive Enumerability and the Jump Operator; On the Degrees Less Than 0'; A Simple Set Which Is Not Effectively Simple; The Recursively Enumerable Degrees Are Dense; Metarecursive Sets (with G Kreisel); Post's Problem, Admissible Ordinals and Regularity; On a Theorem of Lachlan and Marlin; A Minimal Hyperdegree (with R O Gandy); Measure-Theoretic Uniformity in Recursion Theory and Set Theory; Forcing with Perfect Closed Sets; Recursion in Objects of Finite Type; The a-Finite Injury Method (with S G Simpson); Remarks Against Foundational Activity; Countable Admissible Ordinals and Hyperdegrees; The 1-Section of a Type n Object; The k-Section of a Type n Object; Post's Problem, Absoluteness and Recursion in Finite Types; Effective Bounds on Morley Rank; On the Number of Countable Models; Post's Problem in E-Recursion; The Limits of E-Recursive Enumerability; Effective Versus Proper Forcing.

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

This invaluable book is a collection of 31 important ? both in ideas and results ? papers published by mathematical logicians in the 20th Century. The papers have been selected by Professor Gerald E Sacks. Some of the authors are Gdel, Kleene, Tarski, A Robinson, Kreisel, Cohen, Morley, Shelah, Hrushovski and Woodin.

The description for this book, Degrees of Unsolvability. (AM-55), Volume 55, will be forthcoming.

This almost self-contained introduction to higher recursion theory is essential reading for all researchers in the field.

Book's by Gerald E. Sacks

Selected Logic Papers

Selected Logic Papers

Higher Recursion Theory

Higher Recursion Theory

Mathematical Logic in the 20th Century

Mathematical Logic in the 20th Century

Degrees of Unsolvability. (AM-55), Volume 55

Degrees of Unsolvability. (AM-55), Volume 55

Higher Recursion Theory

Higher Recursion Theory

Mathematical Logic in the 20th Century

Mathematical Logic in the 20th Century

Username

Password

Username

Password

Password again

Birthday

Email