1521-3870/asset/2256_left.gif?v=1&s=becebab9c3e85769a14b145f17b8e337848bc48b)
1521-3870/asset/2256_right.gif?v=1&s=6d251fa351b8e0943ed3dc42b2beb251d4cbfa3e)
Original Paper
Computability of measurable sets via effective metrics
Article first published online: 28 SEP 2005
DOI: 10.1002/malq.200510008
Copyright © 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim
1521-3870/asset/cover.gif?v=1&s=3df32dbed8d9153ac6eafe1eaa786854b9b48345 "Mathematical Logic Quarterly")
Additional Information
How to Cite
Wu, Y. and Ding, D. (2005), Computability of measurable sets via effective metrics. Mathematical Logic Quarterly, 51: 543–559. doi: 10.1002/malq.200510008
Publication History
- Issue published online: 28 SEP 2005
- Article first published online: 28 SEP 2005
- Manuscript Accepted: 1 JUL 2005
- Manuscript Revised: 3 JUN 2005
- Manuscript Received: 21 MAR 2005
- Abstract
- References
- Cited By
Keywords:
- TTE;
- computability;
- measure;
- measurable set;
- effective metric space
Abstract
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)