presented at event Special Session Recursive and Feasible Mathematics, Annual Meeting of the American Mathematical Society Conference