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.
- ISBN13 9789810232672
- Publish Date 8 July 1999 (first published 1 January 1999)
- Publish Status Active
- Publish Country SG
- Imprint World Scientific Publishing Co Pte Ltd
- Format Hardcover
- Pages 452
- Language English
- URL https://worldscientific.com/worldscibooks/10.1142/3598