2 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.GT2015★ 2 cited
Integer Valued Betting strategies and Turing Degrees
George Barmpalias, Rod G. Downey, Michael McInerney
Betting strategies are often expressed formally as martingales. A martingale is called integer-valued if each bet must be an integer value. Integer-valued strategies correspond to…
math.LO2015★ 1 cited
DNR and incomparable Turing degrees
Mingzhong Cai, Noam Greenberg, Michael McInerney
We construct an increasing -sequence of Turing degrees which forms an initial segment of the Turing degrees, and such that each~ is diagonally noncomputable rel…