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 papers and 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://id.loc.gov/vocabulary/countries/enk> ;
   library:placeOfPublication <http://experiment.worldcat.org/entity/work/data/905879683#Place/cambridge> ; # Cambridge
   library:placeOfPublication <http://dbpedia.org/resource/New_York_City> ; # New York
   schema:about <http://id.worldcat.org/fast/1078942> ; # Proof theory
   schema:about <http://dewey.info/class/511.322/e21/> ;
   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/set_theory> ; # Set 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/logica> ; # Logica
   schema:about <http://id.loc.gov/authorities/subjects/sh85107437> ; # Proof theory
   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/set_theory_congresses> ; # Set theory--Congresses
   schema:about <http://id.worldcat.org/fast/1113587> ; # Set theory
   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/verzamelingen_wiskunde> ; # Verzamelingen (wiskunde)
   schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/bewijstheorie> ; # Bewijstheorie
   schema:about <http://experiment.worldcat.org/entity/work/data/905879683#Topic/proof_theory_congresses> ; # Proof theory--Congresses
   schema:bookFormat bgn:PrintBook ;
   schema:contributor <http://viaf.org/viaf/8482082> ; # S. Barry Cooper
   schema:contributor <http://experiment.worldcat.org/entity/work/data/905879683#Person/truss_j_k> ; # J. K. Truss
   schema:contributor <http://viaf.org/viaf/142787442> ; # Association for Symbolic Logic.
   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 papers and proceedings"@en ;
   schema:genre "Conference publication"@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#Person/truss_j_k> # J. K. Truss
    a schema:Person ;
   schema:familyName "Truss" ;
   schema:givenName "J. K." ;
   schema:name "J. K. Truss" ;
    .

<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/proof_theory_congresses> # Proof theory--Congresses
    a schema:Intangible ;
   schema:name "Proof theory--Congresses"@en ;
    .

<http://experiment.worldcat.org/entity/work/data/905879683#Topic/set_theory_congresses> # Set theory--Congresses
    a schema:Intangible ;
   schema:name "Set theory--Congresses"@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/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 "2017-04-02" ;
   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.