presented at event Special Session on Computability Across Mathematics, Meeting of the American Mathematical Society Conference