> Lecture Notes in Logic
   Perspectives in Logic

   Other ASL Books

   Member Discounts


Available LNL volumes


 Editorial Policies

 Submission information

 Editorial Board













Lecture Notes in Logic, 19
Logic Colloquium 2000

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

Rene Cori, Alexander Razborov, Stevo Todorcevic, Carol Wood, editors


This compilation of papers presented a the 2000 European Summer Meeting of the Association fo Symbolic Logic marks the centenial anniversery of Hilberts famou lecture. Held in the same hall at La Sorbonne where Hilbert firs presented his famous problems, this meeting carries specia significance to the Mathematics and Logic communities.

The presentations include tutorials and research articles from some of the worlds preeminent logicians. Three long articles are based on tutorials given at the meeting, and present accessible expositions of devloping research in three active areas of logic: model theory, computability, and set theory.

The eleven subsequent articles cover seperate research topics in all areas of mathematical logic, including: aspects in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy.

Year: 2005
ISBN: 1-56881-252-3
350 pages. Paperback.


Year: 2005
Price:$70.00 ISBN:1-56881-251-5
350 pages. Hardcover.

Table of Contents

K. John Barwise (1942-2000)


Model theory and geometry.
Elisabeth Bouscaren

Notions of computability at higher types I.
John R. Longley

The Continuum Hypothesis.
W. Hugh Woodin


Bounded forcing axioms and the size of the continuum.
David Asperó

Hilbert's wide program.
William Ewald

Rigidity conjectures.
Ilijas Farah

Metapredicative and explicit Mahlo: a proof-theoretic perspective.
Gerhard Jäger

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

Partioning 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



<Back to LNL titles listing



[ Meetings | Announcements | Membership | Journals | ASL Books | Links to Other Sites | ASL Info | Home]