Complete Multi-Representations of Sets in a Computable Measure Space

Yongcheng Wu
(Nanjing University of Information Science and Technology)

In a recent paper, two multi-representations for the measurable sets in a computable measure space have been introduced, which prove to be topologically complete w.r.t. certain topological properties. In this contribution, we show them recursively complete w.r.t. computability of measure and set-theoretical operations.

In Xizhong Zheng and Ning Zhong: Proceedings Seventh International Conference on Computability and Complexity in Analysis (CCA 2010), Zhenjiang, China, 21-25th June 2010, Electronic Proceedings in Theoretical Computer Science 24, pp. 160–166.
Published: 3rd June 2010.

ArXived at: http://dx.doi.org/10.4204/EPTCS.24.20 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org