http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman
Solomon Feferman has shaped the field of foundational research for nearly half a century. These papers, most of which were presented at the symposium honoring him at his 70th birthday, reflect his broad interests as well as his approach to foundational research, which places the solution of mathematical and philosophical problems at the top of his agenda. The contributions range from historical to technical to philosophical topics, with emphasis on proof theory and computational aspects.
Chapter Jeremy Avigad Ordinal analysis without proofs -- chapter Wilfried Buchholz Relating ordinals to proofs in a perspicuous way -- chapter Harvey M. Friedman Internal finite tree embeddings -- chapter Ulrich Kohlenbach Foundational and mathematical uses of higher types -- chapter Grigori Mints The epsilon substitution method and continuity -- chapter Predicativity: The outer limits -- part PART II. LOGIC AND COMPUTATION -- chapter A pragmatic interpretation of substructural logics -- chapter Computational complexity and induction for partial computable functions in type theory -- chapter Computability theory: structure or algorithms -- chapter 3 processes in natural language interpretation.
edited by Wilfried Sieg, Richard Sommer and Carolyn Talcott.
Includes bibliographical references and index.