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.
Compre este e-book e ganhe mais 1 GRÁTIS!
Língua Inglês ● Formato PDF ● Páginas 452 ● ISBN 9789812812926 ● Tamanho do arquivo 72.2 MB ● Editor Gerald E Sacks ● Editora World Scientific Publishing Company ● Cidade Singapore ● País SG ● Publicado 1999 ● Carregável 24 meses ● Moeda EUR ● ID 2447250 ● Proteção contra cópia Adobe DRM
Requer um leitor de ebook capaz de DRM