-
arXiv:1411.0186 [pdf, ps, other]
Algorithmic randomness for Doob's martingale convergence theorem in continuous time
Abstract: We study Doob's martingale convergence theorem for computable continuous time martingales on Brownian motion, in the context of algorithmic randomness. A characterization of the class of sample points for which the theorem holds is given. Such points are given the name of Doob random points. It is shown that a point is Doob random if its tail is computably random in a certain sense. Moreover, Doob… ▽ More
Submitted 16 December, 2014; v1 submitted 1 November, 2014; originally announced November 2014.
Journal ref: Logical Methods in Computer Science, Volume 10, Issue 4 (December 18, 2014) lmcs:978