

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. Year: 2005 Year: 2005 Table of Contents Tutorials Resolution theorem
proving; a logical point of view. An introduction
to proofs of determinacy of long games. Articles Modified bar
recursion and classical dependent choice. Choice and uniformity
in weak applicative theories. Compactness
and incompactness phenomena in set theory. Selection for
Borel relations. Interpolation
in goaldirected proof systems 1. Sequences of
degrees associated with models of arithmetic. The limit theory
of generic polynomials. Moschovakis's
notion of meaning as applied to linguistics. Tameness in
expansions of the real field. The model theory
of compact complex spaces. "Natural"
represtations and extensions of Gödel's second theorem. Effective Husdorff
dimension. Mutual stationarity
in the core model. The pair $(\aleph_n,
\aleph_0)$ may fail $\aleph_0$compactness. Incompleteness
theorem and its frontier. Groups in Simple
Theories. Provable recursiveness
and complexity.

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