J.V. Tucker and J.I. Zucker (1992):
Examples of semicomputable sets of real and complex numbers,
in Constructivity in Computer Science --
Proceedings of a Summer Symposium,
San Antonio, Texas, June 1991,
ed. J.P. Myers, Jr. and M.J. O'Donnell, Jr.,
Lecture Notes in Computer Science 613 (Springer-Verlag), 179-198.
Abstract. We investigate the concept of semicomputability of relations on abstract structures. We consider three possible definitions of this concept, which all reduce to the classical notion of recursive enumerability over the natural numbers. By working in the algebra of the reals, with and without order, we find examples of sets which distinguish between these three notions. We also find interesting examples of sets of real and complex numbers which are semicomputable but not computable.