The Resource Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper, John K. Truss

Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper, John K. Truss

Label
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Title
Sets and proofs
Title remainder
invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997
Statement of responsibility
edited by S. Barry Cooper, John K. Truss
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Illustrations
illustrations
Index
no index present
LC call number
QA248
LC item number
.L634 1997
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1997
http://bibfra.me/vocab/lite/meetingName
Logic Colloquium
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorName
  • Association for Symbolic Logic
  • Cooper, S. B.
  • Truss, J. K
http://library.link/vocab/subjectName
  • Set theory
  • Proof theory
  • Proof theory
  • Set theory
  • Logica
  • Verzamelingen (wiskunde)
  • Bewijstheorie
  • Teoria dos conjuntos (congressos)
  • Lógica matemática (congressos)
  • Théorie des ensembles
  • Théorie de la démonstration
Label
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper, John K. Truss
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Dimensions
23 cm.
Extent
ix, 436 pages
Isbn
9780521635493
Isbn Type
(pbk.)
Lccn
99019676
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)40777013
  • (OCoLC)ocm40777013
Label
Sets and proofs : invited papers from Logic Colloquium '97, European Meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper, John K. Truss
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Dimensions
23 cm.
Extent
ix, 436 pages
Isbn
9780521635493
Isbn Type
(pbk.)
Lccn
99019676
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
System control number
  • (OCoLC)40777013
  • (OCoLC)ocm40777013

Library Locations

  • African Studies LibraryBorrow it
    771 Commonwealth Avenue, 6th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Alumni Medical LibraryBorrow it
    72 East Concord Street, Boston, MA, 02118, US
    42.336388 -71.072393
  • Astronomy LibraryBorrow it
    725 Commonwealth Avenue, 6th Floor, Boston, MA, 02445, US
    42.350259 -71.105717
  • Fineman and Pappas Law LibrariesBorrow it
    765 Commonwealth Avenue, Boston, MA, 02215, US
    42.350979 -71.107023
  • Frederick S. Pardee Management LibraryBorrow it
    595 Commonwealth Avenue, Boston, MA, 02215, US
    42.349626 -71.099547
  • Howard Gotlieb Archival Research CenterBorrow it
    771 Commonwealth Avenue, 5th Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Mugar Memorial LibraryBorrow it
    771 Commonwealth Avenue, Boston, MA, 02215, US
    42.350723 -71.108227
  • Music LibraryBorrow it
    771 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350723 -71.108227
  • Pikering Educational Resources LibraryBorrow it
    2 Silber Way, Boston, MA, 02215, US
    42.349804 -71.101425
  • School of Theology LibraryBorrow it
    745 Commonwealth Avenue, 2nd Floor, Boston, MA, 02215, US
    42.350494 -71.107235
  • Science & Engineering LibraryBorrow it
    38 Cummington Mall, Boston, MA, 02215, US
    42.348472 -71.102257
  • Stone Science LibraryBorrow it
    675 Commonwealth Avenue, Boston, MA, 02445, US
    42.350103 -71.103784
Processing Feedback ...