skip to content
Reflections on the foundations of mathematics : essays in honor of Solomon Feferman Preview this item
ClosePreview this item
Checking...

Reflections on the foundations of mathematics : essays in honor of Solomon Feferman

Author: Solomon Feferman; Wilfried Sieg; Richard Sommer; Carolyn L Talcott
Publisher: Urbana, Ill. : Association for Symbolic Logic ; Natick, Mass. : A K Peters, ©2002.
Series: Lecture notes in logic, 15.
Edition/Format:   Book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Rating:

(not yet rated) 0 with reviews - Be the first.

Subjects
More like this

 

Find a copy in the library

&AllPage.SpinnerRetrieving; Finding libraries that hold this item...

Details

Genre/Form: Conference proceedings
Congresses
Congrès
Additional Physical Format: Online version:
Reflections on the foundations of mathematics.
Urbana, Ill. : Association for Symbolic Logic ; Natick, Mass. : A K Peters, c2002
(OCoLC)680181224
Named Person: Solomon Feferman; Solomon Feferman
Material Type: Conference publication
Document Type: Book
All Authors / Contributors: Solomon Feferman; Wilfried Sieg; Richard Sommer; Carolyn L Talcott
ISBN: 1568811691 9781568811697 1568811705 9781568811703
OCLC Number: 49531184
Description: viii, 444 p. ; 25 cm.
Contents: Ordinal analysis without proofs / Jeremy Avigad --
Relating ordinals to proofs in a perspicuous way / Wilfried Buchholz --
Internal finite tree embeddings / Harvey M. Friedman --
Foundational and mathematical uses of higher types / Ulrich Kohlenbach --
The epsilon substitution method and continuity / Grigori Mints --
Predicativity: The outer limits / Stephen G. Simpson --
A pragmatic interpretation of substructural logics / Gianluigi Bellin and Carlo Dalla Pozza --
Computational complexity and induction for partial computable functions in type theory / Robert L. Constable and Karl Crary --
Computability theory: structure or algorithms / Jens Erik Fenstad --
Three processes in natural language interpretation / Tim Fernando
Series Title: Lecture notes in logic, 15.
Responsibility: edited by Wilfried Sieg, Richard Sommer, Carolyn Talcott.
More information:

Reviews

Editorial reviews

Publisher Synopsis

Forms of assertion for a style of reasoning arise by fixing the meanings of some expressions ... -Zentralblatt MATH, February 2005

 
User-contributed reviews
Retrieving GoodReads reviews...
Retrieving DOGObooks reviews...

Tags

Be the first.
Confirm this request

You may have already requested this item. Please select Ok if you would like to proceed with this request anyway.

Linked Data


<http://www.worldcat.org/oclc/49531184>
library:oclcnum"49531184"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
rdf:typeschema:Book
rdf:valueUnknown value: cnp
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:about
schema:contributor
schema:contributor
schema:contributor
schema:contributor
schema:copyrightYear"2002"
schema:datePublished"2002"
schema:exampleOfWork<http://worldcat.org/entity/work/id/890857922>
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:isPartOf
schema:name"Reflections on the foundations of mathematics : essays in honor of Solomon Feferman"@en
schema:numberOfPages"444"
schema:publication
schema:publisher
schema:publisher
schema:workExample
schema:workExample
wdrs:describedby

Content-negotiable representations

Close Window

Please sign in to WorldCat 

Don't have an account? You can easily create a free account.