Institute for Logic, Language and Computation
CiE 2005: MSCS Special Issue
Barry Cooper, Benedikt Löwe, Dag Normann (eds.), Mathematics of Computation at CiE 2005.
Special issue of the journal Mathematical Structures in Computer Science
Volume 16, Number 5, October 2006.

The deadline for submission was September 15, 2005. All papers were peer-reviewed to the usual standards of the journal.

Author(s) Title Received Pages Status
George Barmpalias, Andy Lewis Random Reals and Lipschitz Continuity September 7, 2005 12
Ulrich Berger Continuous Semantics for Strong Normalization September 23, 2005; Revised: December 21, 2005 12
Doug Cenzer, Jeffrey B. Remmel On the complexity of inductive definitions September 25, 2005; Revised: December 15, 2005 26
Rod Downey, Wolfgang Merkle, Jan Reimann Schnorr Dimension September 27, 2005; Revised: January 17, 2006 20
Olivier Finkel Borel ranks and Wadge degrees of context free omega-languages September 13, 2005; Revised: January 31st, 2006 26
Carl G. Jockusch Jr., Angsheng Li Restricted jump interpolation in the d.c.e. degrees December 1, 2005; Revised: February 22, 2006 23
Peter Koepke, Martin Koerwien Computing a model of set theory September 20, 2005; Revised: December 28, 2005, January 23, 2006 17
Henri Lombardi, Thierry Coquand A Logical Approach to Abstract Algebra September 15, 2005; Revised: September 28, 2005, October 21, 2005, March 4, 2006 10
Ivan Soskov, Bogomil Kovachev Uniform regular enumerations September 17, 2005 22
Andreas Weiermann An extremely sharp phase transition threshold for the slow growing hierarchy September 12, 2005; Revised: December 15, 2005 20