著者紹介

内容

目次

1. An introduction to finitary analyses of proof figures T. Arai; 2.What mathematical truth could not be - II P. Benacerraf; 3. Proof search inconstructive logics R. Dyckhoff and L. F. Pinto; 4. David's trick S. D.Friedman; 5. A semantical calculus for intuitionistic propositional logic J.Hudelmaier; 6. An iteration model violating the singular cardinals hypothesisP. Koepke; 7. An introduction to core model theory B. Lowe and J. R. Steel;8. Games of countable length I. Neeman; 9. On the complexity of thepropositional calculus P. Pudlak; 10. The realm of ordinal analysis M.Rathjen; 11. Covering properties of core models E. Schimmerling; 12. Ordinalsystems A. Setzer; 13. Polish group topologies S. Solecki; 14. Forcing closedunbounded subsets of Nw+1 M. C. Stanley; 15. First steps intometapredicativity in explicit mathematics T. Strahm; 16. What makes a(pointwise) subrecursive hierarchy slow growing? A. Weiermann; 17. Minimalityarguments for infinite time Turing degrees P. D. Welch.