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:
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 |
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.