Jens Blanck

Title: Effectively Stable Algebras

Abstract:
  We give a general method for showing that all numberings of certain
  effective algebras are recursively equivalent. The method is based on
  \emph{infinitary normal forms} based on the signature of the algebra.
  Algebras that have these infinitary normal forms include effectively dense
  spaces, the ordered field of real numbers, among others.

  The results here can be seen as a continuation of the work by Mal'cev
  showing that all finitely generated semi-computable algebras are computably
  stable.