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.
Придбайте цю електронну книгу та отримайте ще 1 БЕЗКОШТОВНО!
Мова Англійська ● Формат PDF ● Сторінки 452 ● ISBN 9789812812926 ● Розмір файлу 72.2 MB ● Редактор Gerald E Sacks ● Видавець World Scientific Publishing Company ● Місто Singapore ● Країна SG ● Опубліковано 1999 ● Завантажувані 24 місяців ● Валюта EUR ● Посвідчення особи 2447250 ● Захист від копіювання Adobe DRM
Потрібен читач електронних книг, що підтримує DRM