Abstract
In this paper, we present a study of the definability properties of fixed points of effective operators on abstract structures without the equality test. In particular, we prove that the Gandy theorem holds for the reals without the equality test. This provides a useful tool for dealing with recursive definitions using Ʃ-formulas.
File
korovinal.pdf247.67 KB
Pages
103-114