Stability for Effective Algebras

  • Authors:

  • Jens Blanck;Viggo Stoltenberg-Hansen;John V. Tucker

  • Affiliations:

  • Department of Computer Science, Swansea University, Swansea, Wales;Department of Mathematics, Uppsala University, Uppsala, Sweden;Department of Computer Science, Swansea University, Swansea, Wales

  • Venue:
  • Electronic Notes in Theoretical Computer Science (ENTCS)
  • Year:
  • 2008

Quantified Score

Hi-index 0.01

Visualization

Abstract

We give a general method for showing that all numberings of certain effective algebras are recursively equivalent. The method is based on computable approximation-limit pairs. The approximations are elements of a finitely generated subalgebra, and obtained by computable (non-deterministic) selection. The results are a continuation of the work by Mal'cev, who, for example, showed that finitely generated semicomputable algebras are computably stable. In particular, we generalise the result that the recursive reals are computably stable, if the limit operator is assumed to be computable, to spaces constructed by inverse limits.