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.
Köp den här e-boken och få 1 till GRATIS!
Språk Engelska ● Formatera PDF ● Sidor 452 ● ISBN 9789812812926 ● Filstorlek 72.2 MB ● Redaktör Gerald E Sacks ● Utgivare World Scientific Publishing Company ● Stad Singapore ● Land SG ● Publicerad 1999 ● Nedladdningsbara 24 månader ● Valuta EUR ● ID 2447250 ● Kopieringsskydd Adobe DRM
Kräver en DRM-kapabel e-läsare