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 2012 · math.LOShow all

2 papers · 2 filters

math.LO2012★ 2 cited

Van Lambalgen's Theorem for uniformly relative Schnorr and computable randomness

Kenshi Miyabe, Jason Rute

We correct Miyabe's proof of van Lambalgen's Theorem for truth-table Schnorr randomness (which we will call uniformly relative Schnorr randomness). An immediate corollary is one di…

math.LO2012

Computable randomness and betting for computable probability spaces

Jason Rute

Unlike Martin-Löf randomness and Schnorr randomness, computable randomness has not been defined, except for a few ad hoc cases, outside of Cantor space. This paper offers such a de…