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.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● Pagini 452 ● ISBN 9789812812926 ● Mărime fișier 72.2 MB ● Editor Gerald E Sacks ● Editura World Scientific Publishing Company ● Oraș Singapore ● Țară SG ● Publicat 1999 ● Descărcabil 24 luni ● Valută EUR ● ID 2447250 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM