5 citations · 5 across the 2 of their papers we have counts for
2 papers
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…
math.LO2014
The Strength of the Grätzer-Schmidt Theorem
Katie Brodhead, Mushfeq Khan, Bjørn Kjos-Hanssen +3
The Grätzer-Schmidt theorem of lattice theory states that each algebraic lattice is isomorphic to the congruence lattice of an algebra. We study the reverse mathematics of this the…