presented at event Workshop on Computable Stability Theory, American Institute of Mathematics Conference