A computable topological space of measures

The content of the paper will be merged into Algorithmic randomness over general spaces.

News
June 13, 2011, Rejected
Sep 21, 2010, Submitted to a Journal

Title
A computable topological space of measures

Type
Fullpaper

Journal
submitted

Download
Japanese summary

Abstract
We show that the space of bounded non-negative Borel measures on
a computable topological space is also a computable topological space
with A-topology. Then we de ne computable measures which may not
be probabilistic and may be even in nite. We also study randomness for
non-negative Borel measures which may not be probabilistic.