External Links

    Journal: Computability

    Volume 12, Issue 3

    203 -- 225Jeffry L. Hirst, Carl Mummert. Banach's theorem in higher-order reverse mathematics
    227 -- 269Djamel Eddine Amir, Mathieu Hoyrup. Strong computable type
    271 -- 282Marat Kh. Faizrahmanov. Numberings, c.e. oracles, and fixed points
    283 -- 297Ruslan Ishkuvatov, Daniil Musatov, Alexander Shen. Approximating Kolmogorov complexity
    runs on