Interpreting true arithmetic in the theory of the r.e. truth table degrees
Finite automata presentable abelian groups
FA-presentable groups and rings
Aspects of free groups
Interpreting N in the computably enumerable weak truth table degrees
Nies cuny describing_finite_groups