presented at event Special Session on Effective Mathematics in Discrete and Continuous Worlds, Meeting of the American Mathematical Society, University of St. Thomas, Minneapolis Conference