Citation: Cg. Jockusch et Ri. Soare, BOOLEAN-ALGEBRAS, STONE SPACES, AND THE ITERATED TURING JUMP, The Journal of symbolic logic, 59(4), 1994, pp. 1121-1138
Citation: R. Downey et Cg. Jockusch, EVERY LOW BOOLEAN-ALGEBRA IS ISOMORPHIC TO A RECURSIVE ONE, Proceedings of the American Mathematical Society, 122(3), 1994, pp. 871-880
Citation: Pt. Bateman et al., DECIDABILITY AND UNDECIDABILITY OF THEORIES WITH A PREDICATE FOR THE PRIMES, The Journal of symbolic logic, 58(2), 1993, pp. 672-687
Citation: Cg. Jockusch et Ta. Slaman, ON THE SIGMA-2-THEORY OF THE UPPER SEMILATTICE OF TURING DEGREES, The Journal of symbolic logic, 58(1), 1993, pp. 193-204