- Decheng Ding, Lei Qian:
Isolated d.r.e. degrees are dense in r.e. degree structure.
- Arnold Beckmann, Andreas Weiermann:
A term rewriting characterization of the polytime functions and related complexity classes.
- Ulrich Kohlenbach:
Mathematically strong subsystems of analysis with low rate of growth of provably recursive functionals.
- Roman Kossak, Nicholas Bamber:
On two questions concerning the automorphism groups of countable recursively saturated models of PA.
Copyright © Mon Nov 2 21:24:39 2009
by Michael Ley (email@example.com)
- Yoshihiro Abe:
A hierarchy of filters smaller than CFkappalambda.
- Maxim R. Burke:
A proof of Hechler's theorem on embedding Aleph1-directed sets cofinally into (ww, <*).
- Lill Kristiansen, Dag Normann:
Total objects in inductively defined types.
- Makoto Kikuchi:
Kolmogorov complexity and the second incompleteness theorem.
- Andreas Weiermann:
A proof of strongly uniform termination for Gödel's TT by methods from local predicativity.
- Karim Nour:
La valeur d'un entier classique en lm\lambda\mu-calcul.