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.
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● Pages 452 ● ISBN 9789812812926 ● Taille du fichier 72.2 MB ● Éditeur Gerald E Sacks ● Maison d’édition World Scientific Publishing Company ● Lieu Singapore ● Pays SG ● Publié 1999 ● Téléchargeable 24 mois ● Devise EUR ● ID 2447250 ● Protection contre la copie Adobe DRM
Nécessite un lecteur de livre électronique compatible DRM