Effective Capacity and Randomness of Closed Sets

We investigate the connection between measure and capacity for the space of nonempty closed subsets of {0,1}*. For any computable measure, a computable capacity T may be defined by letting T(Q) be the measure of the family of closed sets which have nonempty intersection with Q. We prove an effective...

Full description

Bibliographic Details
Main Authors: Douglas Cenzer, Paul Brodhead
Format: Article
Language:English
Published: Open Publishing Association 2010-06-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1006.0397v1