Abstract

This paper gives effective domain representations of spaces H(X) of non-empty compact subsets of effective complete metric spaces X. The domain representation of H(X) is constructed from a domain representation of X using the Plotkin power domain construction. As an application of the representation an effective version of a fundamental theorem on IFS (iterated function system) is shown.

Citations

544	Fractals Everywhere - Barnsley - 1988
196	A power domain construction - Plotkin - 1976
64	Dynamical systems, measures and fractals via domain theory - Edalat - 1995
30	Domain representability of metric spaces - Blanck - 1997
27	Power domains and iterated function systems - Edalat - 1996
19	Domain representations of topological spaces - Blanck - 2000
5	A computational model for metric spaces, Theoret - Edalat, Heckmann - 1998
4	Gianantonio, Real number computability and domain theory - Di - 1996
3	Some types of factor mappings, and the relations between classes of topological spaces - Arhangelskij - 1963
3	Computability on topological spaces by e ective domain representations - Blanck - 1997
2	Spaces in which sequences su ces, Fund - Franklin - 1965
1	Computable elds and arithmetically de nable ordered elds - Lachlan, Madison - 1970
1	A note on computable real elds - Madison - 1970