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 |
|