activity
20112021
most citedAlgorithmic randomness, reverse mathematics, and the dominated convergence theorem

32 citations · 80 across the 9 of their papers we have counts for

collaborators
Showing 2014Show all

1 paper · 1 filter

cs.LO2014★ 5 cited

Algorithmic randomness for Doob's martingale convergence theorem in continuous time

Bjørn Kjos-Hanssen, Paul Kim Long V. Nguyen, Jason Rute

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 cl…