presented at event Computability in Europe, Special Session Computability in Analysis, Algebra, and Geometry Conference