1. The translation theorem;Cholak;Arch. Math. Logic,1994
2. Automorphisms of the Lattice of Recursively Enumerable Sets;Cholak,1995
3. P. Cholak, R. Downey, L. Harrington, Automorphisms of the lattice of recursively enumerable sets: Σ11-Completeness, in preparation.
4. Automorphisms of the lattice of recursively enumerable sets: promptly simple sets;Cholak;Trans. Amer. Math. Soc.,1992
5. Minimal pairs and high recursively enumerable degrees;Cooper;J. Symbolic Logic,1974