Effective completeness for real computation
  The main result of this paper, as previously presented to arxiv, was incorrect. See the full text for details and for reference to the remaining results. 
Wesley Calvert