A compilation of papers presented at th 2001 European Summer Meeting of the Association for Symboli Logic, Logic Colloquium 01 includes surveys and research article from some of the worlds preeminent logicians. Two long article are based on tutorials given at the meeting and present accessibl expositions of research in two active areas of logic, geometri model theory and descriptive set theory of group actions.
The remaining articles cover seperate research topics in many areas of mathematical logic, including applications in Computer Science, Proof Theory, Set Theory, Model Theory, Computability Theory, and aspects of Philosophy.
Table of Contents
proving; a logical point of view.
to proofs of determinacy of long games.
recursion and classical dependent choice.
Choice and uniformity
in weak applicative theories.
and incompactness phenomena in set theory.
in goal-directed proof systems 1.
degrees associated with models of arithmetic.
The limit theory
of generic polynomials.
notion of meaning as applied to linguistics.
expansions of the real field.
The model theory
of compact complex spaces.
represtations and extensions of Gödel's second theorem.
in the core model.
The pair $(\aleph_n,
\aleph_0)$ may fail $\aleph_0$-compactness.
theorem and its frontier.
Groups in Simple
to LNL titles listing