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:   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 p. : ill. ; 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


<http://www.worldcat.org/oclc/40777013>
library:oclcnum"40777013"
library:placeOfPublication
library:placeOfPublication
library:placeOfPublication
owl:sameAs<info:oclcnum/40777013>
rdf:typeschema:Book
schema:about
schema:about
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:creator
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 proceedings."@en
schema:genre"Conference proceedings"@en
schema:inLanguage"en"
schema:name"Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997"@en
schema:numberOfPages"436"
schema:publisher
schema:url
schema:workExample

Content-negotiable representations

Close Window

Please sign in to WorldCat 

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