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:   Print 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 papers and 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, ©2002
(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 pages ; 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


Primary Entity

<http://www.worldcat.org/oclc/49531184> # Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "49531184" ;
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/mau> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890857922#Place/urbana_ill> ; # Urbana, Ill.
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/890857922#Place/natick_mass> ; # Natick, Mass.
    schema:about <http://experiment.worldcat.org/entity/work/data/890857922#Topic/wiskunde> ; # Wiskunde
    schema:about <http://experiment.worldcat.org/entity/work/data/890857922#Topic/mathematics_philosophy> ; # Mathematics--Philosophy
    schema:about <http://id.worldcat.org/fast/1012213> ; # Mathematics--Philosophy
    schema:about <http://dewey.info/class/511.3/e21/> ;
    schema:about <http://id.worldcat.org/fast/1002068> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/890857922#Topic/grondslagen> ; # Grondslagen
    schema:about <http://experiment.worldcat.org/entity/work/data/890857922#Topic/logic_symbolic_and_mathematical> ; # Logic, Symbolic and mathematical
    schema:about <http://experiment.worldcat.org/entity/work/data/890857922#Topic/logique_symbolique_et_mathematique> ; # Logique symbolique et mathématique
    schema:about <http://experiment.worldcat.org/entity/work/data/890857922#Topic/bewijstheorie> ; # Bewijstheorie
    schema:about <http://experiment.worldcat.org/entity/work/data/890857922#Topic/mathematiques_philosophie> ; # Mathématiques--Philosophie
    schema:about <http://viaf.org/viaf/34535231> ; # Solomon Feferman
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/25662350> ; # Carolyn L. Talcott
    schema:contributor <http://viaf.org/viaf/67525053> ; # Wilfried Sieg
    schema:contributor <http://viaf.org/viaf/34535231> ; # Solomon Feferman
    schema:contributor <http://viaf.org/viaf/7365716> ; # Richard Sommer
    schema:copyrightYear "2002" ;
    schema:datePublished "2002" ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/890857922> ;
    schema:genre "Conference papers and proceedings"@en ;
    schema:genre "Conference publication"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/890857922#Series/lecture_notes_in_logic> ; # Lecture notes in logic ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/680181224> ;
    schema:name "Reflections on the foundations of mathematics : essays in honor of Solomon Feferman"@en ;
    schema:productID "49531184" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/49531184#PublicationEvent/urbana_ill_association_for_symbolic_logic_natick_mass_a_k_peters_2002> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/890857922#Agent/a_k_peters> ; # A K Peters
    schema:publisher <http://experiment.worldcat.org/entity/work/data/890857922#Agent/association_for_symbolic_logic> ; # Association for Symbolic Logic
    schema:workExample <http://worldcat.org/isbn/9781568811703> ;
    schema:workExample <http://worldcat.org/isbn/9781568811697> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/49531184> ;
    .


Related Entities

<http://experiment.worldcat.org/entity/work/data/890857922#Agent/association_for_symbolic_logic> # Association for Symbolic Logic
    a bgn:Agent ;
    schema:name "Association for Symbolic Logic" ;
    .

<http://experiment.worldcat.org/entity/work/data/890857922#Place/natick_mass> # Natick, Mass.
    a schema:Place ;
    schema:name "Natick, Mass." ;
    .

<http://experiment.worldcat.org/entity/work/data/890857922#Series/lecture_notes_in_logic> # Lecture notes in logic ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/49531184> ; # Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
    schema:name "Lecture notes in logic ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/890857922#Topic/logique_symbolique_et_mathematique> # Logique symbolique et mathématique
    a schema:Intangible ;
    schema:name "Logique symbolique et mathématique"@fr ;
    .

<http://experiment.worldcat.org/entity/work/data/890857922#Topic/mathematiques_philosophie> # Mathématiques--Philosophie
    a schema:Intangible ;
    schema:name "Mathématiques--Philosophie"@fr ;
    .

<http://id.worldcat.org/fast/1002068> # Logic, Symbolic and mathematical
    a schema:Intangible ;
    schema:name "Logic, Symbolic and mathematical"@en ;
    .

<http://id.worldcat.org/fast/1012213> # Mathematics--Philosophy
    a schema:Intangible ;
    schema:name "Mathematics--Philosophy"@en ;
    .

<http://viaf.org/viaf/25662350> # Carolyn L. Talcott
    a schema:Person ;
    schema:familyName "Talcott" ;
    schema:givenName "Carolyn L." ;
    schema:name "Carolyn L. Talcott" ;
    .

<http://viaf.org/viaf/34535231> # Solomon Feferman
    a schema:Person ;
    schema:birthDate "1928" ;
    schema:familyName "Feferman" ;
    schema:givenName "Solomon" ;
    schema:name "Solomon Feferman" ;
    .

<http://viaf.org/viaf/67525053> # Wilfried Sieg
    a schema:Person ;
    schema:birthDate "1945" ;
    schema:familyName "Sieg" ;
    schema:givenName "Wilfried" ;
    schema:name "Wilfried Sieg" ;
    .

<http://viaf.org/viaf/7365716> # Richard Sommer
    a schema:Person ;
    schema:birthDate "1961" ;
    schema:familyName "Sommer" ;
    schema:givenName "Richard" ;
    schema:name "Richard Sommer" ;
    .

<http://worldcat.org/isbn/9781568811697>
    a schema:ProductModel ;
    schema:isbn "1568811691" ;
    schema:isbn "9781568811697" ;
    .

<http://worldcat.org/isbn/9781568811703>
    a schema:ProductModel ;
    schema:isbn "1568811705" ;
    schema:isbn "9781568811703" ;
    .

<http://www.worldcat.org/oclc/680181224>
    a schema:CreativeWork ;
    rdfs:label "Reflections on the foundations of mathematics." ;
    schema:description "Online version:" ;
    schema:isSimilarTo <http://www.worldcat.org/oclc/49531184> ; # Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
    .

<http://www.worldcat.org/title/-/oclc/49531184>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/49531184> ; # Reflections on the foundations of mathematics : essays in honor of Solomon Feferman
    schema:dateModified "2015-08-11" ;
    void:inDataset <http://purl.oclc.org/dataset/WorldCat> ;
    .


Content-negotiable representations

Close Window

Please sign in to WorldCat 

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