1 Department of Computer Science, Faculty of Science, Aarhus University, Aarhus University2 unknown
In this paper we present a study of definability properties of fixed points of effective operators on the real numbers without the equality test. In particular we prove that Gandy theorem holds for the reals without the equality test. This provides a useful tool for dealing with recursive definitions using σ-formulas.
Cca 2002, Computability and Complexity in Analysis: Icalp 2002 Satellite Workshop, 2002, p. 104-112