Logic Colloquium 2005 by Ludomir Newelski, Costas Dimitracopoulos & John R. Steel