Gandy's Theorem for Abstract Structures without the Equality Test

摘要

In this paper we present a study of definability properties of fixed points of effective operators over astract structures without the equality test. We prove that Gandy's theorem holds for abstract structures without the equality test. This provides a useful tool for dealing with inductive definitions using Σ-formulas over continuous data types.