Reflections on the foundations of mathematics: essays in Honor of Solomon Feferman : lecture notes in logic 15 /

Bibliographic Details
Corporate Author:	Taylor & Francis
Other Authors:	Sieg, Wilfried, 1945- (Editor), Sommer, Richard (Editor), Talcott, Carolyn L. (Editor)
Format:	eBook
Language:	English
Published:	Boca Raton, FL : A K Peters/CRC Press, an imprint of Taylor and Francis, 2002.
Edition:	First edition.
Subjects:	Grondslagen. Logic, Symbolic and mathematical > Congresses. Logic, Symbolic and mathematical. Mathematics > Philosophy > Congresses. Mathematics > Philosophy. Logique symbolique et mathématique > Congrès. Logique symbolique et mathématique. Mathématiques > Philosophie > Congrès. Mathématiques > Philosophie. MATHEMATICS > General. Electronic books. Conference papers and proceedings.
Online Access:	Connect to the full text of this electronic book

Table of Contents:

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.