1. Cappable recursively enumerable degrees and Post's program;Ambos-Spies;Arch. Math. Logic,1992
2. Decidability and Boolean representations;Burris;Memoirs Amer. Math. Soc,1981
3. The translation theorem;Cholak;Arch. Math. Logic,1994
4. Automorphisms of the lattice of recursively enumerable sets;Cholak;Mem. Amer. Math. Soc,1995
5. The dense simple sets are orbit complete,;Cholak,1996