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
Price:$40.00 ISBN: 1-56881-252-3
350 pages. Paperback.
BUY NOW

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

Table of Contents

K. John Barwise (1942-2000)

Tutorials

Model theory and geometry.
Elisabeth Bouscaren

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

The Continuum Hypothesis.
W. Hugh Woodin

Articles

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