We investigate the connection between measure, capacity and algorithmic randomness for the space of closed sets. For any computable measure m, a computable capacity T may be de ned by letting T (Q) be the measure of the family of closed sets K which have nonempty intersection with Q. We prove an e ective version of Choquet's capacity theorem by showing that every computable capacity may be obta...
