TY - RPRT TI - Algorithmic randomness for Doob's martingale convergence theorem in continuous time AU - Bjørn Kjos-Hanssen AU - Paul Kim Long V. Nguyen AU - Jason Rute PY - 2014 DO - 10.2168/lmcs-10(4:12)2014 UR - https://arxiv.org/abs/1411.0186 ID - 1411.0186 ER -