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.
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● Pages 452 ● ISBN 9789812812926 ● File size 72.2 MB ● Editor Gerald E Sacks ● Publisher World Scientific Publishing Company ● City Singapore ● Country SG ● Published 1999 ● Downloadable 24 months ● Currency EUR ● ID 2447250 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader