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
Issue
Pages
103-114