skip to content
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997 Preview this item
ClosePreview this item
Checking...

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997

Author: S B Cooper; J K Truss; Association for Symbolic Logic.
Publisher: Cambridge ; New York : Cambridge University Press, 1999.
Series: London Mathematical Society lecture note series, 258.
Edition/Format:   Print book : Conference publication : EnglishView all editions and formats
Database:WorldCat
Summary:

First of two volumes providing a comprehensive guide to mathematical logic.

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
Material Type: Conference publication, Internet resource
Document Type: Book, Internet Resource
All Authors / Contributors: S B Cooper; J K Truss; Association for Symbolic Logic.
ISBN: 0521635497 9780521635493
OCLC Number: 40777013
Description: ix, 436 pages : illustrations ; 23 cm.
Contents: An introduction to finitary analyses of proof figures / T. Arai --
What mathematical truth could not be --
II / P. Benacerraf --
Proof search in constructive logics / R. Dyckhoff and L.F. Pinto --
David's trick / S.D. Friedman --
A semantical calculus for intuitionistic propositional logic / J. Hudelmaier --
An iteration model violating the singular cardinals hypothesis / P. Koepke --
An introduction to core model theory / B. Löwe and J.R. Steel --
Games of countable length / I. Neeman --
On the complexity of the propositional calculus / P. Pudlak --
The realm of ordinal analysis / M. Rathjen --
Covering properties of core models / E. Schimmerling --
Ordinal systems / A. Setzer --
Polish group topologies / S. Solecki --
Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley --
First steps into metapredicativity in explicit mathematics / T. Strahm --
What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann --
Minimality arguments for infinite time Turing degrees / P.D. Welch.
Series Title: London Mathematical Society lecture note series, 258.
Responsibility: edited by S. Barry Cooper, John K. Truss.
More information:

Reviews

Editorial reviews

Publisher Synopsis

'All the authors are leaders in their fields, some articles pushing forward the technical boundaries of the subject, others providing readable and authoritative overviews of particular important Read more...

 
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/40777013> # Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
    a schema:CreativeWork, schema:Book ;
    library:oclcnum "40777013" ;
    library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
    library:placeOfPublication <http://id.loc.gov/vocabulary/countries/enk> ;
    library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/905879683#Place/cambridge> ; # Cambridge
    schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/teoria_dos_conjuntos_congressos> ; # Teoria dos conjuntos (congressos)
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/logica> ; # Logica
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/preuve_theorie_de_la> ; # Preuve, Théorie de la
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/ensembles_theorie_des> ; # Ensembles, Théorie des
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/bewijstheorie> ; # Bewijstheorie
    schema:about <http://dewey.info/class/511.322/e21/> ;
    schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/verzamelingen_wiskunde> ; # Verzamelingen (wiskunde)
    schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/logica_matematica_congressos> ; # Lógica matemática (congressos)
    schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/set_theory> ; # Set theory
    schema:bookFormat bgn:PrintBook ;
    schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
    schema:contributor <http://viaf.org/viaf/8482082> ; # S. Barry Cooper
    schema:contributor <http://viaf.org/viaf/165172503> ; # J. K. Truss
    schema:creator <http://experiment.worldcat.org/entity/work/data/905879683#Meeting/logic_colloquium_1997_leeds_england> ; # Logic Colloquium (1997 : Leeds, England)
    schema:datePublished "1999" ;
    schema:description "An introduction to finitary analyses of proof figures / T. Arai -- What mathematical truth could not be -- II / P. Benacerraf -- Proof search in constructive logics / R. Dyckhoff and L.F. Pinto -- David's trick / S.D. Friedman -- A semantical calculus for intuitionistic propositional logic / J. Hudelmaier -- An iteration model violating the singular cardinals hypothesis / P. Koepke -- An introduction to core model theory / B. Löwe and J.R. Steel -- Games of countable length / I. Neeman -- On the complexity of the propositional calculus / P. Pudlak -- The realm of ordinal analysis / M. Rathjen -- Covering properties of core models / E. Schimmerling -- Ordinal systems / A. Setzer -- Polish group topologies / S. Solecki -- Forcing closed unbounded subsets of [symbol] [subscript (omega+1)] / M.C. Stanley -- First steps into metapredicativity in explicit mathematics / T. Strahm -- What makes a (pointwise) subrecursive hierarchy slow growing? / A. Weiermann -- Minimality arguments for infinite time Turing degrees / P.D. Welch."@en ;
    schema:exampleOfWork <http://worldcat.org/entity/work/id/905879683> ;
    schema:genre "Conference publication"@en ;
    schema:genre "Conference proceedings"@en ;
    schema:inLanguage "en" ;
    schema:isPartOf <http://experiment.worldcat.org/entity/work/data/905879683#Series/london_mathematical_society_lecture_note_series> ; # London Mathematical Society lecture note series ;
    schema:name "Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997"@en ;
    schema:productID "40777013" ;
    schema:publication <http://www.worldcat.org/title/-/oclc/40777013#PublicationEvent/cambridge_new_york_cambridge_university_press_1999> ;
    schema:publisher <http://experiment.worldcat.org/entity/work/data/905879683#Agent/cambridge_university_press> ; # Cambridge University Press
    schema:url <http://catdir.loc.gov/catdir/toc/cam027/99019676.html> ;
    schema:workExample <http://worldcat.org/isbn/9780521635493> ;
    umbel:isLike <http://bnb.data.bl.uk/id/resource/GB9951164> ;
    wdrs:describedby <http://www.worldcat.org/title/-/oclc/40777013> ;
    .


Related Entities

<http://dbpedia.org/resource/New_York_City> # New York
    a schema:Place ;
    schema:name "New York" ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Agent/cambridge_university_press> # Cambridge University Press
    a bgn:Agent ;
    schema:name "Cambridge University Press" ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Meeting/logic_colloquium_1997_leeds_england> # Logic Colloquium (1997 : Leeds, England)
    a bgn:Meeting, schema:Event ;
    schema:location <http://experiment.worldcat.org/entity/work/data/905879683#Place/leeds_england> ; # Leeds, England)
    schema:name "Logic Colloquium (1997 : Leeds, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Place/leeds_england> # Leeds, England)
    a schema:Place ;
    schema:name "Leeds, England)" ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Series/london_mathematical_society_lecture_note_series> # London Mathematical Society lecture note series ;
    a bgn:PublicationSeries ;
    schema:hasPart <http://www.worldcat.org/oclc/40777013> ; # Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
    schema:name "London Mathematical Society lecture note series ;" ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Topic/ensembles_theorie_des> # Ensembles, Théorie des
    a schema:Intangible ;
    schema:name "Ensembles, Théorie des"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Topic/logica_matematica_congressos> # Lógica matemática (congressos)
    a schema:Intangible ;
    schema:name "Lógica matemática (congressos)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Topic/preuve_theorie_de_la> # Preuve, Théorie de la
    a schema:Intangible ;
    schema:name "Preuve, Théorie de la"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Topic/teoria_dos_conjuntos_congressos> # Teoria dos conjuntos (congressos)
    a schema:Intangible ;
    schema:name "Teoria dos conjuntos (congressos)"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Topic/verzamelingen_wiskunde> # Verzamelingen (wiskunde)
    a schema:Intangible ;
    schema:name "Verzamelingen (wiskunde)"@en ;
    .

<http://id.loc.gov/authorities/subjects/sh85107437> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/1078942> # Proof theory
    a schema:Intangible ;
    schema:name "Proof theory"@en ;
    .

<http://id.worldcat.org/fast/1113587> # Set theory
    a schema:Intangible ;
    schema:name "Set theory"@en ;
    .

<http://viaf.org/viaf/142787442> # Association for Symbolic Logic.
    a schema:Organization ;
    schema:name "Association for Symbolic Logic." ;
    .

<http://viaf.org/viaf/165172503> # J. K. Truss
    a schema:Person ;
    schema:familyName "Truss" ;
    schema:givenName "J. K." ;
    schema:name "J. K. Truss" ;
    .

<http://viaf.org/viaf/8482082> # S. Barry Cooper
    a schema:Person ;
    schema:familyName "Cooper" ;
    schema:givenName "S. Barry" ;
    schema:givenName "S. B." ;
    schema:name "S. Barry Cooper" ;
    .

<http://worldcat.org/isbn/9780521635493>
    a schema:ProductModel ;
    schema:isbn "0521635497" ;
    schema:isbn "9780521635493" ;
    .

<http://www.worldcat.org/title/-/oclc/40777013>
    a genont:InformationResource, genont:ContentTypeGenericResource ;
    schema:about <http://www.worldcat.org/oclc/40777013> ; # Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
    schema:dateModified "2015-06-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.