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.
Beli ebook ini dan dapatkan 1 lagi PERCUMA!
Bahasa Inggeris ● Format PDF ● Halaman-halaman 452 ● ISBN 9789812812926 ● Saiz fail 72.2 MB ● Penyunting Gerald E Sacks ● Penerbit World Scientific Publishing Company ● Bandar raya Singapore ● Negara SG ● Diterbitkan 1999 ● Muat turun 24 bulan ● Mata wang EUR ● ID 2447250 ● Salin perlindungan Adobe DRM
Memerlukan pembaca ebook yang mampu DRM