Logic Colloquium '01 door Matthias Baaz, Sy D. Friedman & Jan Kraji'cek