16 citations · 17 across the 2 of their papers we have counts for
2 papers
math.LO2014★ 16 cited
Martin-Löf randomness and Galton-Watson processes
David Diamondstone, Bjørn Kjos-Hanssen
The members of Martin-Löf random closed sets under a distribution studied by Barmpalias et al. are exactly the infinite paths through Martin-Löf random Galton--Watson trees with su…
math.LO2011★ 1 cited
Inherent enumerability of strong jump-traceability
David Diamondstone, Noam Greenberg, Daniel Turetsky
We show that every strongly jump-traceable set obeys every benign cost function. Moreover, we show that every strongly jump-traceable set is computable from a computably enumerable…