Stability of representations of effective partial algebras


An algebra is effective if its operations are computable under some numbering. When are two numberings of an effective partial algebra equivalent? For example, the computable real numbers form an effective field and two effective numberings of the field of computable reals are equivalent if the limit operator is assumed to be computable in the numberings… (More)
DOI: 10.1002/malq.200910133


  • Presentations referencing similar topics