Logic Colloquium 2000 : proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, held in Paris, France, July 23-31, 2000 /

Saved in:
Bibliographic Details
Meeting name:Logic Colloquium (2000 : Paris, France)
Imprint:Wellesley, Mass. : A.K. Peters, c2005.
Description:xi, 408 p. : ill. ; 24 cm.
Language:English
Series:Lecture notes in logic ; 19
Subject:Logic, Symbolic and mathematical -- Congresses.
Logic, Symbolic and mathematical.
Conference papers and proceedings.
Format: Print Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/5668899
Hidden Bibliographic Details
Other authors / contributors:Cori, ReneĢ.
ISBN:1568812515 (acid-free paper)
1568812523 (pbk. : acid-free paper)
Notes:Includes bibliographical references.
Table of Contents:
  • Model theory and geometry / Elisabeth Bouscaren
  • Notions of computability at higher types I / John R. Longley
  • The continuum hypothesis / W. Hugh Woodin
  • Participant photographs
  • Maurice Boffa (1939-2001)
  • Bounded forcing axioms and the size of the continuum / David Aspero
  • Hilbert's wide program / William Ewald
  • Rigidity conjectures / Ilijas Farah
  • Metapredicative and explicit Mahlo : a proof-theoretic perspective / Gerhard Jager
  • A two-dimensional tree ideal / Sven Jossen and Otmar Spinas
  • Psychology looks hopefully to logic / Daniel N. Osherson and Eric Martin
  • Russell's logics / Philippe de Rouilhan
  • Partitioning pairs of uncountable sets / Masahiro Shioya
  • Aspects of the Turing jump / Theodore A. Slaman
  • Liouville functions / A. J. Wilkie
  • Analytic and pseudo-analytic structures / Boris Zilber.