Skip to content
You are not logged in |Login  
     
Limit search to available items
Record:   Prev Next
Resources
More Information
Bestseller
BestsellerE-book
Conference Logic Colloquium (1997 : Leeds, England)

Title 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 Info. Cambridge ; New York : Cambridge University Press, 1999.

Item Status

Description 1 online resource (ix, 436 pages) : illustrations.
Physical Medium polychrome
Description text file
Series London Mathematical Society lecture note series ; 258
London Mathematical Society lecture note series ; 258.
Bibliography Includes bibliographical references.
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.
Local Note eBooks on EBSCOhost EBSCO eBook Subscription Academic Collection - North America
Subject Set theory -- Congresses.
Set theory.
Proof theory -- Congresses.
Proof theory.
Genre/Form Electronic books.
Conference papers and proceedings.
Conference papers and proceedings.
Added Author Cooper, S. B. (S. Barry)
Truss, J. K.
Association for Symbolic Logic.
Other Form: Print version: Logic Colloquium (1997 : Leeds, England). Sets and proofs 0521635497 (DLC) 99019676 (OCoLC)40777013
ISBN 9781107089129 (electronic book)
1107089123 (electronic book)
9781107325944 (electronic book)
1107325943 (electronic book)
0521635497
9780521635493