Stability of representations of effective partial algebras |
| |
Authors: | Jens Blanck Viggo Stoltenberg‐Hansen John V Tucker |
| |
Institution: | 1. Department of Computer Science, Swansea University, Singleton Park, Swansea, SA2 8PP, Wales;2. Department of Mathematics, Uppsala University, Box 480, SE‐751 06 Uppsala, Sweden |
| |
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 (theorems of Moschovakis and Hertling). To answer the question for effective algebras in general, we give a general method based on an algebraic analysis of approximations by elements of a finitely generated subalgebra. Commonly, the computable elements of a topological partial algebra are derived from such a finitely generated algebra and form a countable effective partial algebra. We apply the general results about partial algebras to the recursive reals, ultrametric algebras constructed by inverse limits, and to metric algebras in general. © 2011 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim |
| |
Keywords: | Numberings recursive equivalence computable stability effective partial algebras computable real numbers ultrametric algebras metric algebras MSC (2010) 03D45 |
|
|