Stability of representations of effective partial algebras

Abstract

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

Topics

  • Presentations referencing similar topics