Selected Logic Papers
Format: Print Book
ISBN: 9789810232672
Tax included.
The author selects 23 of his papers in mathematical logic that pursue definability via priority, forcing, compactness and fine structure applied to classical recursion, hyperarithmetic sets, recursion in objects of finite type, measure, models and E-recursion. His general introduction provides a chronology both personal and technical.
Format: Hardcover
No of Pages: 452
Imprint: World Scientific
Publication date: 19990708
Series: World Scientific Series In 20th Century Mathematics