2001 european summer meeting of the association for symbolic logic logic colloquium'01