1. Computable algebra and group embeddings;Baumslag;J. Algebra,1981
2. Rodney G. Downey, Abstract dependence, recursion theory and the lattice of recursively enumerable filters, PhD thesis, Monash University, Clayton, Vic., Australia, 1982
3. Subspaces of computable vector spaces;Downey;J. Algebra,2007
4. Countable algebra and set existence axioms;Friedman;Ann. Pure Appl. Logic,1983
5. Addendum to: “Countable algebra and set existence axioms”;Friedman;Ann. Pure Appl. Logic,1985