Fixed Points on Abstract Structures without the Equality Test

Authors

  • Margarita Korovina

DOI:

https://doi.org/10.7146/brics.v9i26.21742

Abstract

In this paper we present a study of definability properties of fixed points of effective operators on abstract structures without the equality test. In particular we prove that Gandy theorem holds for abstract structures. This provides a useful tool for dealing with recursive definitions using Sigma-formulas.

One of the applications of Gandy theorem in the case of the reals without the equality test is that it allows us to define universal Sigma-predicates. It leads to a topological characterisation of Sigma-relations on |R.

Downloads

Published

2002-06-05

How to Cite

Korovina, M. (2002). Fixed Points on Abstract Structures without the Equality Test. BRICS Report Series, 9(26). https://doi.org/10.7146/brics.v9i26.21742