论文信息 - Computability of measurable sets via effective metrics

Computability of measurable sets via effective metrics

We consider how to represent the measurable sets in an infinite measure space. We use sequences of simple measurable sets converging under metrics to represent general measurable sets. Then we study the computability of the measure and the set operators of measurable sets with respect to such representations. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Yongcheng Wu | Decheng Ding

[1] Klaus Weihrauch,et al. Type 2 Recursion Theory , 1985, Theor. Comput. Sci..

[2] Klaus Weihrauch,et al. A computable version of the Daniell-Stone theorem on integration and linear functionals , 2006, Theor. Comput. Sci..

[3] N. A. Sanin,et al. Constructive real numbers and constructive function spaces , 1968 .

[4] Yongcheng Wu,et al. Computability of measurable sets via effective topologies , 2006, Arch. Math. Log..

[5] Klaus Weihrauch,et al. Computability on Computable Metric Spaces , 1993, Theor. Comput. Sci..

[6] Vasco Brattka,et al. Computability on subsets of metric spaces , 2003, Theor. Comput. Sci..

[7] Christoph Kreitz,et al. Theory of Representations , 1985, Theor. Comput. Sci..