Fixed Points on the Real Numbers without the Equality Test
M.V. Korovina · Electronic Notes in Theoretical Computer Science · 2002
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.