presented at event Joint American Mathematical Society/Association for Symbolic Logic Special Session on Effective Algebra and Model Theory, Annual Joint Mathematics Meetings Conference