Effective completeness for real computation

Abstract

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.