keywords ALGEBRAS COMPUTATION Computability on reals Computability on topological algebras Computer Science Computer Science, Theory & Methods Engeler's Lemma Logic Science & Technology Science & Technology - Other Topics Semicomputable sets of reals Technology